Admin/build
changeset 43280 e5dd0ae1b054
parent 34876 b52e03f68cc3
child 43521 d477b92109b8
--- a/Admin/build	Wed Jun 08 16:19:22 2011 +0200
+++ b/Admin/build	Wed Jun 08 17:11:00 2011 +0200
@@ -27,6 +27,7 @@
     browser         graph browser (requires jdk)
     doc             documentation (requires latex and rail)
     jars            Isabelle/Scala layer (requires Scala in \$SCALA_HOME)
+    jars_fresh      fresh build of jars
 
 EOF
   exit 1
@@ -84,7 +85,7 @@
 function build_jars ()
 {
   pushd "$ISABELLE_HOME/src/Pure" >/dev/null
-  "$ISABELLE_TOOL" env ./build-jars || exit $?
+  "$ISABELLE_TOOL" env ./build-jars "$@" || exit $?
   popd >/dev/null
 }
 
@@ -98,6 +99,7 @@
     browser) build_browser;;
     doc) build_doc;;
     jars) build_jars;;
+    jars_fresh) build_jars -f;;
     *) fail "Bad module $MODULE"
   esac
 done