# HG changeset patch
# User wenzelm
# Date 935743727 -7200
# Node ID b176626f0d8012507e2eae46561c18ab90b8c853
# Parent  6407a09ac58f2b6243f11d1cac333ef5a4db9032
*** empty log message ***

diff -r 6407a09ac58f -r b176626f0d80 Admin/Benchmarks/IsaMakefile
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/Benchmarks/IsaMakefile	Fri Aug 27 10:48:47 1999 +0200
@@ -0,0 +1,36 @@
+#
+# $Id$
+#
+
+## targets
+
+default: HOL-datatype
+images:
+test: HOL-datatype
+all: images test
+
+
+## global settings
+
+SRC = $(ISABELLE_HOME)/src
+OUT = $(ISABELLE_OUTPUT)
+LOG = $(OUT)/log
+
+
+## HOL-datatype
+
+HOL:
+	@cd $(SRC)/HOL; $(ISATOOL) make HOL
+
+HOL-datatype: HOL $(LOG)/HOL-datatype.gz
+
+$(LOG)/HOL-datatype.gz: $(OUT)/HOL HOL-datatype/Brackin.thy \
+  HOL-datatype/Instructions.thy HOL-datatype/SML.thy \
+  HOL-datatype/Verilog.thy
+	$(ISATOOL) usedir -s HOL-datatype $(OUT)/HOL HOL-datatype
+
+
+## clean
+
+clean:
+	@rm -f $(LOG)/HOL-datatype.gz