comparison Makefile.in @ 791:5368deb3764b

Use Ur/Web library .mlb
author Adam Chlipala <adamc@hcoop.net>
date Sun, 10 May 2009 10:13:41 -0400
parents 1d34d916c206
children 19fdeef40ada
comparison
equal deleted inserted replaced
790:39bb3a830e90 791:5368deb3764b
33 33
34 src/urweb.mlb: src/prefix.mlb src/sources src/suffix.mlb 34 src/urweb.mlb: src/prefix.mlb src/sources src/suffix.mlb
35 cat src/prefix.mlb src/sources src/suffix.mlb \ 35 cat src/prefix.mlb src/sources src/suffix.mlb \
36 | sed 's/^\(.*\).grm$$/\1.mlton.grm.sig:\1.mlton.grm.sml/; y/:/\n/' \ 36 | sed 's/^\(.*\).grm$$/\1.mlton.grm.sig:\1.mlton.grm.sml/; y/:/\n/' \
37 | sed 's/^\(.*\).lex$$/\1.mlton.lex.sml/' \ 37 | sed 's/^\(.*\).lex$$/\1.mlton.lex.sml/' \
38 >src/urweb.mlb 38 >$@
39 39
40 %.mlton.lex: %.lex 40 %.mlton.lex: %.lex
41 cp $< $@ 41 cp $< $@
42 %.mlton.grm: %.grm 42 %.mlton.grm: %.grm
43 cp $< $@ 43 cp $< $@
56 56
57 ifdef PROFILE 57 ifdef PROFILE
58 MLTON += -profile $(PROFILE) 58 MLTON += -profile $(PROFILE)
59 endif 59 endif
60 60
61 bin/urweb: src/urweb.mlb src/*.sig src/*.sml \ 61 bin/urweb: src/compiler.mlb src/urweb.mlb src/*.sig src/*.sml \
62 src/urweb.mlton.lex.sml \ 62 src/urweb.mlton.lex.sml \
63 src/urweb.mlton.grm.sig src/urweb.mlton.grm.sml 63 src/urweb.mlton.grm.sig src/urweb.mlton.grm.sml
64 $(MLTON) -output $@ src/urweb.mlb 64 $(MLTON) -output $@ src/compiler.mlb
65 65
66 install: 66 install:
67 mkdir -p $(BIN) 67 mkdir -p $(BIN)
68 cp bin/urweb $(BIN)/ 68 cp bin/urweb $(BIN)/
69 mkdir -p $(LIB_UR) 69 mkdir -p $(LIB_UR)