changeset 103:8921f0344193

Command-line compiler goes the whole nine yards
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 14:14:23 -0400
parents 5f04adf47f48
children b1e5398a7f30
files Makefile src/main.mlton.sml
diffstat 2 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- 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 \
--- 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 ())