# HG changeset patch
# User wenzelm
# Date 1218831373 -7200
# Node ID 343696007ecad99eb8d5e94fa4b306da1e44fae8
# Parent  af1b39debf30389427ff48fb54ee143e3c059090
jars: build Pure.jar;

diff -r af1b39debf30 -r 343696007eca Admin/build
--- 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!"