diff options
| author | Jason Gross | 2014-01-16 17:29:39 -0500 |
|---|---|---|
| committer | Pierre Boutillier | 2014-01-18 11:56:30 +0100 |
| commit | 22bd27a46f6c91f2c74945333547e4657dcd1428 (patch) | |
| tree | 3676981d9ec69f0e1e18c361181d33bad3550365 | |
| parent | 151508e04e56e1d090b22101b277803ec5d45815 (diff) | |
Makefiles use $(foo), not $foo, for variables
Also, we need :=, so that it's evaluated immediately, rather than
becoming a self-recursive variable. This fixes the "Undefined variable
'C'" error that make keeps spewing.
| -rw-r--r-- | configure.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ml b/configure.ml index 312d442bc9..50ad264993 100644 --- a/configure.ml +++ b/configure.ml @@ -861,7 +861,7 @@ let config_runtime () = sprintf "-dllib -lcoqrun -dllpath '%s/kernel/byterun'" coqtop | _ -> let ld="CAML_LD_LIBRARY_PATH" in - build_loadpath := sprintf "export %s='%s/kernel/byterun':$%s" ld coqtop ld; + build_loadpath := sprintf "export %s:='%s/kernel/byterun':$(%s)" ld coqtop ld; sprintf "-dllib -lcoqrun -dllpath '%s'" libdir let coqrunbyteflags = config_runtime () |