diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-07-10 14:02:54 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-10 14:02:54 -0400 |
commit | 425bb7f90ffc8a6f8a1590ed76f305f3029a0beb (patch) | |
tree | 5b6d5cf41f31998021e1b29ce4407de55dba12bc /Makefile | |
parent | 5f2f492e122a26017496ed57d76ae39c6b1b254a (diff) |
Writing HTML
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 14 |
1 files changed, 11 insertions, 3 deletions
@@ -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 |