Mercurial > urweb
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) |