Mercurial > urweb
comparison Makefile.in @ 507:ca95f9e4d45f
Profiling in Makefile
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 25 Nov 2008 15:57:16 -0500 |
parents | 8875ff2e85dc |
children | 6daa59a55c43 |
comparison
equal
deleted
inserted
replaced
506:65d8541c130b | 507:ca95f9e4d45f |
---|---|
51 | 51 |
52 ifdef DEBUG | 52 ifdef DEBUG |
53 MLTON += -const 'Exn.keepHistory true' | 53 MLTON += -const 'Exn.keepHistory true' |
54 endif | 54 endif |
55 | 55 |
56 ifdef PROFILE | |
57 MLTON += -profile $(PROFILE) | |
58 endif | |
59 | |
56 bin/urweb: src/urweb.mlb src/*.sig src/*.sml \ | 60 bin/urweb: src/urweb.mlb src/*.sig src/*.sml \ |
57 src/urweb.mlton.lex.sml \ | 61 src/urweb.mlton.lex.sml \ |
58 src/urweb.mlton.grm.sig src/urweb.mlton.grm.sml | 62 src/urweb.mlton.grm.sig src/urweb.mlton.grm.sml |
59 $(MLTON) -output $@ src/urweb.mlb | 63 $(MLTON) -output $@ src/urweb.mlb |
60 | 64 |