Mercurial > urweb
view Makefile @ 85:1f85890c9846
Disjointness assumptions in expressions
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 01 Jul 2008 12:25:12 -0400 |
parents | 4202f6eda946 |
children | 5f04adf47f48 |
line wrap: on
line source
all: smlnj mlton .PHONY: all smlnj mlton clean smlnj: src/lacweb.cm mlton: bin/lacweb clean: rm -f src/*.mlton.grm.* src/*.mlton.lex.* \ src/lacweb.cm src/lacweb.mlb rm -rf .cm src/.cm src/lacweb.cm: src/prefix.cm src/sources cat src/prefix.cm src/sources \ >src/lacweb.cm src/lacweb.mlb: src/prefix.mlb src/sources src/suffix.mlb cat src/prefix.mlb src/sources src/suffix.mlb \ | sed 's/^\(.*\).grm$$/\1.mlton.grm.sig\n\1.mlton.grm.sml/' \ | sed 's/^\(.*\).lex$$/\1.mlton.lex.sml/' \ >src/lacweb.mlb %.mlton.lex: %.lex cp $< $@ %.mlton.grm: %.grm cp $< $@ %.mlton.lex.sml: %.mlton.lex mllex $< %.mlton.grm.sig %.mlton.grm.sml: %.mlton.grm mlyacc $< MLTON := mlton ifdef DEBUG MLTON += -const 'Exn.keepHistory true' endif bin/lacweb: src/lacweb.mlb src/*.sig src/*.sml \ src/lacweb.mlton.lex.sml \ src/lacweb.mlton.grm.sig src/lacweb.mlton.grm.sml $(MLTON) -output $@ src/lacweb.mlb