comparison Makefile.in @ 562:6daa59a55c43

Add initial C support for reactive
author Adam Chlipala <adamc@hcoop.net>
date Fri, 19 Dec 2008 09:35:44 -0500
parents ca95f9e4d45f
children 162d5308e34f
comparison
equal deleted inserted replaced
561:79aea80904e8 562:6daa59a55c43
18 rm -f src/*.mlton.grm.* src/*.mlton.lex.* \ 18 rm -f src/*.mlton.grm.* src/*.mlton.lex.* \
19 src/urweb.cm src/urweb.mlb \ 19 src/urweb.cm src/urweb.mlb \
20 clib/*.o 20 clib/*.o
21 rm -rf .cm src/.cm 21 rm -rf .cm src/.cm
22 22
23 clib/urweb.o: src/c/urweb.c 23 clib/urweb.o: src/c/urweb.c include/*.h
24 gcc -O3 -I include -c src/c/urweb.c -o clib/urweb.o $(CFLAGS) 24 gcc -O3 -I include -c src/c/urweb.c -o clib/urweb.o $(CFLAGS)
25 25
26 clib/driver.o: src/c/driver.c 26 clib/driver.o: src/c/driver.c include/*.h
27 gcc -O3 -I include -c src/c/driver.c -o clib/driver.o $(CFLAGS) 27 gcc -O3 -I include -c src/c/driver.c -o clib/driver.o $(CFLAGS)
28 28
29 src/urweb.cm: src/prefix.cm src/sources 29 src/urweb.cm: src/prefix.cm src/sources
30 cat src/prefix.cm src/sources \ 30 cat src/prefix.cm src/sources \
31 >src/urweb.cm 31 >src/urweb.cm