# HG changeset patch
# User wenzelm
# Date 1245330173 -7200
# Node ID 1494ded298a66658a009096821bea68d70042fab
# Parent  d3d2e417fb5e96bf807428aeddf8c3e3e2bf2c88
jar: jvmpath wrapper (requires bash);

diff -r d3d2e417fb5e -r 1494ded298a6 src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Thu Jun 18 15:02:18 2009 +0200
+++ b/src/Pure/IsaMakefile	Thu Jun 18 15:02:53 2009 +0200
@@ -12,6 +12,8 @@
 
 ## global settings
 
+SHELL = /bin/bash
+
 SRC = $(ISABELLE_HOME)/src
 OUT = $(ISABELLE_OUTPUT)
 LOG = $(OUT)/log
@@ -134,7 +136,7 @@
 	scaladoc -d classes $(SCALA_FILES)
 	@cp $(SCALA_FILES) classes/isabelle
 	@mkdir -p `dirname $@`
-	@cd classes; jar cf $@ isabelle
+	@cd classes; jar cf `jvmpath $@` isabelle
 	@rm -rf classes
 
 clean-jar: