From 28605345c88491627b7a34cea6e50c9e5b9b8b01 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 26 Jan 2008 12:35:32 -0500 Subject: Initial parsing and pretty-printing --- Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 1705c222..9bfcd95c 100644 --- a/Makefile +++ b/Makefile @@ -37,5 +37,7 @@ ifdef DEBUG MLTON += -const 'Exn.keepHistory true' endif -bin/lacweb: src/lacweb.mlb src/*.sig src/*.sml +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 -- cgit v1.2.3