From 22bd27a46f6c91f2c74945333547e4657dcd1428 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Thu, 16 Jan 2014 17:29:39 -0500
Subject: 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.
---
 configure.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 ()
-- 
cgit v1.2.3