diff src/compiler.sml @ 832:249740301a0a

Fix pathmap bug; expose lower-level heap manipulation from C
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 May 2009 13:43:02 -0400
parents dc3fc3f3b834
children 74e9e7642f08
line wrap: on
line diff
--- a/src/compiler.sml	Sun May 31 12:41:34 2009 -0400
+++ b/src/compiler.sml	Sun May 31 13:43:02 2009 -0400
@@ -413,7 +413,7 @@
                             sources = #sources new @ #sources old
                         }
                     in
-                        foldr (fn (fname, job) => merge (job, parseUrp' fname)) job (!libs)
+                        foldr (fn (fname, job) => merge (job, pu fname)) job (!libs)
                     end
 
                 fun parsePkind s =
@@ -876,7 +876,8 @@
         val urweb_o = clibFile "urweb.o"
         val driver_o = clibFile "driver.o"
 
-        val compile = "gcc " ^ Config.gccArgs ^ " -Wstrict-prototypes -Werror -O3 -I include -c " ^ cname ^ " -o " ^ oname
+        val compile = "gcc " ^ Config.gccArgs ^ " -Wstrict-prototypes -Werror -O3 -I " ^ Config.includ
+                      ^ " -c " ^ cname ^ " -o " ^ oname
         val link = "gcc -Werror -O3 -lm -lmhash -pthread " ^ libs ^ " " ^ urweb_o ^ " " ^ oname ^ " " ^ driver_o ^ " -o " ^ ename
 
         val (compile, link) =