Admin/build
changeset 27904 343696007eca
parent 27655 cf0c60e821bb
child 27915 42581956d75b
--- a/Admin/build	Fri Aug 15 21:57:22 2008 +0200
+++ b/Admin/build	Fri Aug 15 22:16:13 2008 +0200
@@ -18,8 +18,10 @@
 
 if [ -d "$ISABELLE_DIR/Distribution" ]; then
   OLD_LAYOUT=true
+  ISATOOL="$ISABELLE_DIR/Distribution/bin/isatool"
 else
   OLD_LAYOUT=false
+  ISATOOL="$ISABELLE_DIR/bin/isatool"
 fi
 
 
@@ -118,6 +120,10 @@
     cd "$ISABELLE_DIR"
   fi
 
+  pushd src/Pure >/dev/null
+  "$ISATOOL" make jar || fail "Failed to build Pure.jar!"
+  popd >/dev/null
+
   pushd lib/classes >/dev/null
   ./mk
   [ -f isabelle.jar ] || fail "Failed to build Isabelle process wrapper!"