# HG changeset patch
# User wenzelm
# Date 1218830167 -7200
# Node ID 4a419fd52f4426d3a1a5cdd37528722bb1b5c3cf
# Parent  28083e9f8d1d79ea502207ab3ba24cf0d4de93b4
basic setup for Scala material;
added General/symbol.scala;

diff -r 28083e9f8d1d -r 4a419fd52f44 src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Fri Aug 15 21:53:40 2008 +0200
+++ b/src/Pure/IsaMakefile	Fri Aug 15 21:56:07 2008 +0200
@@ -110,3 +110,20 @@
 clean:
 	@rm -f $(OUT)/Pure $(LOG)/Pure.gz $(LOG)/Pure-ProofGeneral.gz \
           $(OUT)/RAW $(LOG)/RAW.gz
+
+
+## Scala material
+
+SCALA_TARGET = $(ISABELLE_HOME)/lib/classes/Pure.jar
+SCALA_FILES = General/symbol.scala
+
+jar: $(SCALA_TARGET)
+
+$(SCALA_TARGET): $(SCALA_FILES)
+	@rm -rf classes && mkdir classes
+	scalac -d classes -target jvm-1.5 -optimise $(SCALA_FILES)
+	@mkdir -p `dirname $@`
+	cd classes; jar cf $@ isabelle
+
+clean-jar:
+	@rm -f $(SCALA_TARGET)