comparison Makefile.in @ 1094:db52c32dbe42

All three current protocols work with move to using uw_app
author Adam Chlipala <adamc@hcoop.net>
date Sun, 27 Dec 2009 10:37:24 -0500
parents 782f0b4eea67
children bed675db3aff
comparison
equal deleted inserted replaced
1093:8d3aa6c7cee0 1094:db52c32dbe42
22 src/urweb.cm src/urweb.mlb \ 22 src/urweb.cm src/urweb.mlb \
23 lib/c/*.o 23 lib/c/*.o
24 rm -rf .cm src/.cm 24 rm -rf .cm src/.cm
25 25
26 lib/c/%.o: src/c/%.c include/*.h 26 lib/c/%.o: src/c/%.c include/*.h
27 gcc -O3 -I include -c $< -o $@ $(CFLAGS) 27 gcc -Wimplicit -O3 -I include -c $< -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
32 32