diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-10 14:14:23 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-10 14:14:23 -0400 |
| commit | 4a72cb276ab63dc4d00222f191160eda6b342ec5 (patch) | |
| tree | 2ba4a379515cb9b4c9c7f7a9efc2e2b5f2e13e8a | |
| parent | 425bb7f90ffc8a6f8a1590ed76f305f3029a0beb (diff) | |
Command-line compiler goes the whole nine yards
| -rw-r--r-- | Makefile | 4 | ||||
| -rw-r--r-- | src/main.mlton.sml | 2 |
2 files changed, 3 insertions, 3 deletions
@@ -13,10 +13,10 @@ clean: 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 --git a/src/main.mlton.sml b/src/main.mlton.sml index 849bc8b1..c24cc7c7 100644 --- a/src/main.mlton.sml +++ b/src/main.mlton.sml @@ -25,4 +25,4 @@ * POSSIBILITY OF SUCH DAMAGE. *) -val () = Compiler.testCjrize (CommandLine.arguments ()) +val () = Compiler.compile (CommandLine.arguments ()) |