Skip to content

Use simple variables in Makefile

Tej Chajed requested to merge tchajed/iris-coq:better-makefile into master

var=foo is a "recursive variable assignment", which is expanded on every use (including re-running shell commands). What we really want is var:=foo, which is expanded at definition time.

See for the full complexity of variable assignment in GNU make.

Edited by Tej Chajed

Merge request reports