diff 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
line wrap: on
line diff
--- a/src/compiler.sml	Thu Jul 17 14:32:49 2008 -0400
+++ b/src/compiler.sml	Sat Jul 19 18:56:57 2008 -0400
@@ -432,7 +432,7 @@
             val ename = "/tmp/webapp"
 
             val compile = "gcc -O3 -I include -c " ^ cname ^ " -o " ^ oname
-            val link = "gcc -O3 clib/lacweb.o " ^ oname ^ " clib/driver.o -o " ^ ename
+            val link = "gcc -pthread -O3 clib/lacweb.o " ^ oname ^ " clib/driver.o -o " ^ ename
 
             val outf = TextIO.openOut cname
             val s = TextIOPP.openOut {dst = outf, wid = 80}