# HG changeset patch # User Adam Chlipala # Date 1215713663 14400 # Node ID 8921f034419378f530b764d4fc9e49eb91d9a0e3 # Parent 5f04adf47f48733e7461bfca40e86fc0a52708ca Command-line compiler goes the whole nine yards diff -r 5f04adf47f48 -r 8921f0344193 Makefile --- a/Makefile Thu Jul 10 14:02:54 2008 -0400 +++ b/Makefile Thu Jul 10 14:14:23 2008 -0400 @@ -13,10 +13,10 @@ rm -rf .cm src/.cm clib/lacweb.o: src/c/lacweb.c - gcc -I include -c src/c/lacweb.c -o clib/lacweb.o + gcc -O3 -I include -c src/c/lacweb.c -o clib/lacweb.o clib/driver.o: src/c/driver.c - gcc -c src/c/driver.c -o clib/driver.o + gcc -O3 -c src/c/driver.c -o clib/driver.o src/lacweb.cm: src/prefix.cm src/sources cat src/prefix.cm src/sources \ diff -r 5f04adf47f48 -r 8921f0344193 src/main.mlton.sml --- a/src/main.mlton.sml Thu Jul 10 14:02:54 2008 -0400 +++ b/src/main.mlton.sml Thu Jul 10 14:14:23 2008 -0400 @@ -25,4 +25,4 @@ * POSSIBILITY OF SUCH DAMAGE. *) -val () = Compiler.testCjrize (CommandLine.arguments ()) +val () = Compiler.compile (CommandLine.arguments ())