summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile4
-rw-r--r--src/main.mlton.sml2
2 files changed, 3 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index ac64b3a4..c6d66184 100644
--- a/Makefile
+++ b/Makefile
@@ -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 ())