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