comparison 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
comparison
equal deleted inserted replaced
389:acaf9d19fbb7 390:519366a76603
510 let 510 let
511 val urweb_o = clibFile "urweb.o" 511 val urweb_o = clibFile "urweb.o"
512 val driver_o = clibFile "driver.o" 512 val driver_o = clibFile "driver.o"
513 513
514 val compile = "gcc -Wstrict-prototypes -Werror -O3 -I include -c " ^ cname ^ " -o " ^ oname 514 val compile = "gcc -Wstrict-prototypes -Werror -O3 -I include -c " ^ cname ^ " -o " ^ oname
515 val link = "gcc -Werror -O3 -pthread -lpq " ^ urweb_o ^ " " ^ oname ^ " " ^ driver_o ^ " -o " ^ ename 515 val link = "gcc -Werror -O3 -lm -pthread -lpq " ^ urweb_o ^ " " ^ oname ^ " " ^ driver_o ^ " -o " ^ ename
516 in 516 in
517 if not (OS.Process.isSuccess (OS.Process.system compile)) then 517 if not (OS.Process.isSuccess (OS.Process.system compile)) then
518 print "C compilation failed\n" 518 print "C compilation failed\n"
519 else if not (OS.Process.isSuccess (OS.Process.system link)) then 519 else if not (OS.Process.isSuccess (OS.Process.system link)) then
520 print "C linking failed\n" 520 print "C linking failed\n"