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 https://www.gnu.org/software/make/manual/html_node/Setting.html#Setting for the full complexity of variable assignment in GNU make.

Edited by Tej Chajed

Merge request reports