Mercurial > urweb
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"