diff src/compiler.sml @ 390:519366a76603

num_float
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 10:40:22 -0400
parents 1195f6e4d208
children ab3177746c78
line wrap: on
line diff
--- a/src/compiler.sml	Tue Oct 21 10:34:07 2008 -0400
+++ b/src/compiler.sml	Tue Oct 21 10:40:22 2008 -0400
@@ -512,7 +512,7 @@
         val driver_o = clibFile "driver.o"
 
         val compile = "gcc -Wstrict-prototypes -Werror -O3 -I include -c " ^ cname ^ " -o " ^ oname
-        val link = "gcc -Werror -O3 -pthread -lpq " ^ urweb_o ^ " " ^ oname ^ " " ^ driver_o ^ " -o " ^ ename
+        val link = "gcc -Werror -O3 -lm -pthread -lpq " ^ urweb_o ^ " " ^ oname ^ " " ^ driver_o ^ " -o " ^ ename
     in
         if not (OS.Process.isSuccess (OS.Process.system compile)) then
             print "C compilation failed\n"