Admin/makebin
changeset 27587 6f469a8aff10
parent 27030 8c558af86e21
child 27588 0dd8d4c558f9
     1.1 --- a/Admin/makebin	Mon Jul 14 19:57:14 2008 +0200
     1.2 +++ b/Admin/makebin	Mon Jul 14 19:59:58 2008 +0200
     1.3 @@ -114,6 +114,8 @@
     1.4    touch "heaps/$COMPILER/log/HOL.gz"
     1.5    touch "heaps/$COMPILER/HOL-Complex"
     1.6    touch "heaps/$COMPILER/log/HOL-Complex.gz"
     1.7 +  touch "heaps/$COMPILER/HOL-Nominal"
     1.8 +  touch "heaps/$COMPILER/log/HOL-Nominal.gz"
     1.9    touch "heaps/$COMPILER/ZF"
    1.10    touch "heaps/$COMPILER/log/ZF.gz"
    1.11    mkdir browser_info
    1.12 @@ -121,6 +123,7 @@
    1.13    ./build -bait
    1.14  else
    1.15    ./build -b -m HOL-Complex HOL
    1.16 +  ./build -b -m HOL-Nominal HOL
    1.17    ./build -b ZF
    1.18    rm -f "heaps/$COMPILER/Pure" "heaps/$COMPILER/FOL"
    1.19  fi
    1.20 @@ -138,7 +141,7 @@
    1.21      gzip -f "${ISABELLE_NAME}_library.tar"
    1.22      cp -f "${ISABELLE_NAME}_library.tar.gz" "$ARCHIVE_DIR"
    1.23  else
    1.24 -  for IMG in HOL HOL-Complex ZF
    1.25 +  for IMG in HOL HOL-Complex HOL-Nominal ZF
    1.26    do
    1.27      "$TAR" cf "${IMG}_$PLATFORM.tar" \
    1.28        "$ISABELLE_NAME/heaps/$COMPILER/$IMG" \