Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
jar: jvmpath wrapper (requires bash);
authorwenzelm
Thu, 18 Jun 2009 15:02:53 +0200
changeset 31702 1494ded298a6
parent 31701 d3d2e417fb5e
child 31703 4e6064759aeb
jar: jvmpath wrapper (requires bash);
src/Pure/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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:
isabelle