comparison Makefile.in @ 502:8875ff2e85dc

Profiling support
author Adam Chlipala <adamc@hcoop.net>
date Thu, 20 Nov 2008 12:16:30 -0500
parents 24d22b843729
children ca95f9e4d45f
comparison
equal deleted inserted replaced
501:7ef4b2911b09 502:8875ff2e85dc
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
24 gcc -O3 -I include -c src/c/urweb.c -o clib/urweb.o 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
27 gcc -O3 -I include -c src/c/driver.c -o clib/driver.o 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
32 32