From 425bb7f90ffc8a6f8a1590ed76f305f3029a0beb Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 10 Jul 2008 14:02:54 -0400 Subject: Writing HTML --- Makefile | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) (limited to 'Makefile') 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 -- cgit v1.2.3