summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-10 14:02:54 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-10 14:02:54 -0400
commit425bb7f90ffc8a6f8a1590ed76f305f3029a0beb (patch)
tree5b6d5cf41f31998021e1b29ce4407de55dba12bc /Makefile
parent5f2f492e122a26017496ed57d76ae39c6b1b254a (diff)
Writing HTML
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile14
1 files changed, 11 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index 9bfcd95c..ac64b3a4 100644
--- a/Makefile
+++ b/Makefile
@@ -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