# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1224884387 14400
# Node ID 0eb7bb4872d00a045c0821bea4db61596cdb1bc6
# Parent  2a861b56969cea3f09a9e5451b3acde746516ef4
Add 'package' make target; add LICENSE

diff -r 2a861b56969c -r 0eb7bb4872d0 LICENSE
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/LICENSE	Fri Oct 24 17:39:47 2008 -0400
@@ -0,0 +1,25 @@
+Copyright (c) 2008, Adam Chlipala
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are met:
+
+- Redistributions of source code must retain the above copyright notice,
+  this list of conditions and the following disclaimer.
+- Redistributions in binary form must reproduce the above copyright notice,
+  this list of conditions and the following disclaimer in the documentation
+  and/or other materials provided with the distribution.
+- The names of contributors may not be used to endorse or promote products
+  derived from this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
+AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
+ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
+LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 
+CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
+SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
+INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
+CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
+ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+POSSIBILITY OF SUCH DAMAGE.
diff -r 2a861b56969c -r 0eb7bb4872d0 Makefile
--- a/Makefile	Fri Oct 24 17:35:33 2008 -0400
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,71 +0,0 @@
-BIN      := /usr/local/bin
-LIB      := /usr/local/lib/urweb
-INCLUDE  := /usr/local/include/urweb
-SITELISP := /usr/local/share/emacs/site-lisp/urweb-mode
-
-LIB_UR   := $(LIB)/ur
-LIB_C    := $(LIB)/c
-
-all: smlnj mlton c
-
-.PHONY: all smlnj mlton c clean install
-
-smlnj: src/urweb.cm
-mlton: bin/urweb
-c: clib/urweb.o clib/driver.o
-
-clean:
-	rm -f src/*.mlton.grm.* src/*.mlton.lex.* \
-		src/urweb.cm src/urweb.mlb \
-		clib/*.o
-	rm -rf .cm src/.cm
-
-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/urweb.cm: src/prefix.cm src/sources
-	cat src/prefix.cm src/sources \
-	>src/urweb.cm
-
-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/urweb.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/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
-
-install:
-	cp bin/urweb $(BIN)/
-	mkdir -p $(LIB_UR)
-	cp lib/*.urs $(LIB_UR)/
-	cp lib/*.ur $(LIB_UR)/
-	mkdir -p $(LIB_C)
-	cp clib/*.o $(LIB_C)/
-	mkdir -p $(INCLUDE)
-	cp include/*.h $(INCLUDE)/
-	mkdir -p $(SITELISP)
-	cp src/elisp/*.el $(SITELISP)/
diff -r 2a861b56969c -r 0eb7bb4872d0 Makefile.in
--- a/Makefile.in	Fri Oct 24 17:35:33 2008 -0400
+++ b/Makefile.in	Fri Oct 24 17:39:47 2008 -0400
@@ -8,7 +8,7 @@
 
 all: smlnj mlton c
 
-.PHONY: all smlnj mlton c clean install
+.PHONY: all smlnj mlton c clean install package
 
 smlnj: src/urweb.cm
 mlton: bin/urweb
@@ -69,3 +69,6 @@
 	cp include/*.h $(INCLUDE)/
 	mkdir -p $(SITELISP)
 	cp src/elisp/*.el $(SITELISP)/
+
+package:
+	hg archive -t tgz -X tests /tmp/urweb.tgz