diff Makefile @ 102:5f04adf47f48

Writing HTML
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 14:02:54 -0400
parents 4202f6eda946
children 8921f0344193
line wrap: on
line diff
--- a/Makefile	Thu Jul 10 11:13:49 2008 -0400
+++ b/Makefile	Thu Jul 10 14:02:54 2008 -0400
@@ -1,15 +1,23 @@
-all: smlnj mlton
+all: smlnj mlton c
 
-.PHONY: all smlnj mlton clean
+.PHONY: all smlnj mlton c clean
 
 smlnj: src/lacweb.cm
 mlton: bin/lacweb
+c: clib/lacweb.o clib/driver.o
 
 clean:
 	rm -f src/*.mlton.grm.* src/*.mlton.lex.* \
-		src/lacweb.cm src/lacweb.mlb
+		src/lacweb.cm src/lacweb.mlb \
+		clib/*.o
 	rm -rf .cm src/.cm
 
+clib/lacweb.o: src/c/lacweb.c
+	gcc -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
+
 src/lacweb.cm: src/prefix.cm src/sources
 	cat src/prefix.cm src/sources \
 	>src/lacweb.cm