Mercurial > urweb

diff Makefile @ 103:8921f0344193

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 94856a3b4752
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 \