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);