jars: build Pure.jar;
authorwenzelm
Fri Aug 15 22:16:13 2008 +0200 (2008-08-15)
changeset 27904343696007eca
parent 27903 af1b39debf30
child 27905 070b4a6a9d58
jars: build Pure.jar;
Admin/build
     1.1 --- a/Admin/build	Fri Aug 15 21:57:22 2008 +0200
     1.2 +++ b/Admin/build	Fri Aug 15 22:16:13 2008 +0200
     1.3 @@ -18,8 +18,10 @@
     1.4  
     1.5  if [ -d "$ISABELLE_DIR/Distribution" ]; then
     1.6    OLD_LAYOUT=true
     1.7 +  ISATOOL="$ISABELLE_DIR/Distribution/bin/isatool"
     1.8  else
     1.9    OLD_LAYOUT=false
    1.10 +  ISATOOL="$ISABELLE_DIR/bin/isatool"
    1.11  fi
    1.12  
    1.13  
    1.14 @@ -118,6 +120,10 @@
    1.15      cd "$ISABELLE_DIR"
    1.16    fi
    1.17  
    1.18 +  pushd src/Pure >/dev/null
    1.19 +  "$ISATOOL" make jar || fail "Failed to build Pure.jar!"
    1.20 +  popd >/dev/null
    1.21 +
    1.22    pushd lib/classes >/dev/null
    1.23    ./mk
    1.24    [ -f isabelle.jar ] || fail "Failed to build Isabelle process wrapper!"