Mercurial > urweb

diff src/compiler.sml @ 435:f7b25375c0cf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
GCCARGS configure option
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Oct 2008 15:05:16 -0400
parents 5de838fb0950
children bd9ee9aeca2f
line wrap: on
line diff
--- a/src/compiler.sml	Mon Oct 27 08:27:45 2008 -0400
+++ b/src/compiler.sml	Tue Oct 28 15:05:16 2008 -0400
@@ -511,7 +511,7 @@
         val urweb_o = clibFile "urweb.o"
         val driver_o = clibFile "driver.o"
 
-        val compile = "gcc -Wstrict-prototypes -Werror -O3 -I include -c " ^ cname ^ " -o " ^ oname
+        val compile = "gcc " ^ Config.gccArgs ^ " -Wstrict-prototypes -Werror -O3 -I include -c " ^ cname ^ " -o " ^ oname
         val link = "gcc -Werror -O3 -lm -pthread " ^ libs ^ " " ^ urweb_o ^ " " ^ oname ^ " " ^ driver_o ^ " -o " ^ ename
     in
         if not (OS.Process.isSuccess (OS.Process.system compile)) then