Mercurial > urweb
comparison src/compiler.sml @ 138:d6d78055f001
Change driver to use Pthreads
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 19 Jul 2008 18:56:57 -0400 |
parents | b1cfe49ce692 |
children | 80192edca30d |
comparison
equal
deleted
inserted
replaced
137:4ffdbf429e8d | 138:d6d78055f001 |
---|---|
430 val cname = "/tmp/lacweb.c" | 430 val cname = "/tmp/lacweb.c" |
431 val oname = "/tmp/lacweb.o" | 431 val oname = "/tmp/lacweb.o" |
432 val ename = "/tmp/webapp" | 432 val ename = "/tmp/webapp" |
433 | 433 |
434 val compile = "gcc -O3 -I include -c " ^ cname ^ " -o " ^ oname | 434 val compile = "gcc -O3 -I include -c " ^ cname ^ " -o " ^ oname |
435 val link = "gcc -O3 clib/lacweb.o " ^ oname ^ " clib/driver.o -o " ^ ename | 435 val link = "gcc -pthread -O3 clib/lacweb.o " ^ oname ^ " clib/driver.o -o " ^ ename |
436 | 436 |
437 val outf = TextIO.openOut cname | 437 val outf = TextIO.openOut cname |
438 val s = TextIOPP.openOut {dst = outf, wid = 80} | 438 val s = TextIOPP.openOut {dst = outf, wid = 80} |
439 in | 439 in |
440 Print.fprint s (CjrPrint.p_file CjrEnv.empty file); | 440 Print.fprint s (CjrPrint.p_file CjrEnv.empty file); |