changeset 791:5368deb3764b

Use Ur/Web library .mlb
author Adam Chlipala <adamc@hcoop.net>
date Sun, 10 May 2009 10:13:41 -0400
parents 39bb3a830e90
children d20d6afc1206
files Makefile.in src/compiler.mlb src/prefix.cm src/prefix.mlb src/suffix.mlb
diffstat 5 files changed, 17 insertions(+), 8 deletions(-) [+]
line wrap: on
line diff
--- a/Makefile.in	Tue May 05 14:47:11 2009 -0400
+++ b/Makefile.in	Sun May 10 10:13:41 2009 -0400
@@ -35,7 +35,7 @@
 	cat src/prefix.mlb src/sources src/suffix.mlb \
 	| sed 's/^\(.*\).grm$$/\1.mlton.grm.sig:\1.mlton.grm.sml/; y/:/\n/' \
 	| sed 's/^\(.*\).lex$$/\1.mlton.lex.sml/' \
-	>src/urweb.mlb
+	>$@
 
 %.mlton.lex: %.lex
 	cp $< $@
@@ -58,10 +58,10 @@
 	MLTON += -profile $(PROFILE)
 endif
 
-bin/urweb: src/urweb.mlb src/*.sig src/*.sml \
+bin/urweb: src/compiler.mlb src/urweb.mlb src/*.sig src/*.sml \
 		src/urweb.mlton.lex.sml \
 		src/urweb.mlton.grm.sig src/urweb.mlton.grm.sml
-	$(MLTON) -output $@ src/urweb.mlb
+	$(MLTON) -output $@ src/compiler.mlb
 
 install:
 	mkdir -p $(BIN)
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/compiler.mlb	Sun May 10 10:13:41 2009 -0400
@@ -0,0 +1,5 @@
+$(SML_LIB)/basis/basis.mlb
+
+urweb.mlb
+
+main.mlton.sml
--- a/src/prefix.cm	Tue May 05 14:47:11 2009 -0400
+++ b/src/prefix.cm	Sun May 10 10:13:41 2009 -0400
@@ -4,3 +4,4 @@
 $/smlnj-lib.cm
 $smlnj/ml-yacc/ml-yacc-lib.cm
 $/pp-lib.cm
+
--- a/src/prefix.mlb	Tue May 05 14:47:11 2009 -0400
+++ b/src/prefix.mlb	Sun May 10 10:13:41 2009 -0400
@@ -1,5 +1,7 @@
-$(SML_LIB)/basis/basis.mlb
-$(SML_LIB)/smlnj-lib/Util/smlnj-lib.mlb
-$(SML_LIB)/mlyacc-lib/mlyacc-lib.mlb
-$(SML_LIB)/smlnj-lib/PP/pp-lib.mlb
+local
+  $(SML_LIB)/basis/basis.mlb
+  $(SML_LIB)/smlnj-lib/Util/smlnj-lib.mlb
+  $(SML_LIB)/mlyacc-lib/mlyacc-lib.mlb
+  $(SML_LIB)/smlnj-lib/PP/pp-lib.mlb
+in
 
--- a/src/suffix.mlb	Tue May 05 14:47:11 2009 -0400
+++ b/src/suffix.mlb	Sun May 10 10:13:41 2009 -0400
@@ -1,1 +1,2 @@
-main.mlton.sml
+
+end