Mercurial > urweb

comparison src/compiler.sml @ 113:6c88b44efcfa

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Turn on gcc -O3
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 12:47:54 -0400
parents 3739af9e727a
children 0644d3c3bedf
comparison
equal deleted inserted replaced
112:690d72c92a15 113:6c88b44efcfa
355 let 355 let
356 val cname = "/tmp/lacweb.c" 356 val cname = "/tmp/lacweb.c"
357 val oname = "/tmp/lacweb.o" 357 val oname = "/tmp/lacweb.o"
358 val ename = "/tmp/webapp" 358 val ename = "/tmp/webapp"
359 359
360 val compile = "gcc -I include -c " ^ cname ^ " -o " ^ oname 360 val compile = "gcc -O3 -I include -c " ^ cname ^ " -o " ^ oname
361 val link = "gcc clib/lacweb.o " ^ oname ^ " clib/driver.o -o " ^ ename 361 val link = "gcc -O3 clib/lacweb.o " ^ oname ^ " clib/driver.o -o " ^ ename
362 362
363 val outf = TextIO.openOut cname 363 val outf = TextIO.openOut cname
364 val s = TextIOPP.openOut {dst = outf, wid = 80} 364 val s = TextIOPP.openOut {dst = outf, wid = 80}
365 in 365 in
366 Print.fprint s (CjrPrint.p_file CjrEnv.empty file); 366 Print.fprint s (CjrPrint.p_file CjrEnv.empty file);