summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-10 14:14:23 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-10 14:14:23 -0400
commit4a72cb276ab63dc4d00222f191160eda6b342ec5 (patch)
tree2ba4a379515cb9b4c9c7f7a9efc2e2b5f2e13e8a /Makefile
parent425bb7f90ffc8a6f8a1590ed76f305f3029a0beb (diff)
Command-line compiler goes the whole nine yards
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 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 \