diff Makefile @ 244:71bafe66dbe1

Laconic -> Ur
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 08:32:18 -0400
parents 94856a3b4752
children 168667cdaa95
line wrap: on
line diff
--- a/Makefile	Thu Aug 28 14:48:33 2008 -0400
+++ b/Makefile	Sun Aug 31 08:32:18 2008 -0400
@@ -2,31 +2,31 @@
 
 .PHONY: all smlnj mlton c clean
 
-smlnj: src/lacweb.cm
-mlton: bin/lacweb
-c: clib/lacweb.o clib/driver.o
+smlnj: src/urweb.cm
+mlton: bin/urweb
+c: clib/urweb.o clib/driver.o
 
 clean:
 	rm -f src/*.mlton.grm.* src/*.mlton.lex.* \
-		src/lacweb.cm src/lacweb.mlb \
+		src/urweb.cm src/urweb.mlb \
 		clib/*.o
 	rm -rf .cm src/.cm
 
-clib/lacweb.o: src/c/lacweb.c
-	gcc -O3 -I include -c src/c/lacweb.c -o clib/lacweb.o
+clib/urweb.o: src/c/urweb.c
+	gcc -O3 -I include -c src/c/urweb.c -o clib/urweb.o
 
 clib/driver.o: src/c/driver.c
 	gcc -O3 -I include -c src/c/driver.c -o clib/driver.o
 
-src/lacweb.cm: src/prefix.cm src/sources
+src/urweb.cm: src/prefix.cm src/sources
 	cat src/prefix.cm src/sources \
-	>src/lacweb.cm
+	>src/urweb.cm
 
-src/lacweb.mlb: src/prefix.mlb src/sources src/suffix.mlb
+src/urweb.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
+	>src/urweb.mlb
 
 %.mlton.lex: %.lex
 	cp $< $@
@@ -45,7 +45,7 @@
 	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
+bin/urweb: 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