lib/Tools/process
changeset 62835 1a9ce1b13b20
parent 62834 970cedec9748
child 62836 98dbed6cfa44
     1.1 --- a/lib/Tools/process	Sun Apr 03 22:45:40 2016 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,22 +0,0 @@
     1.4 -#!/usr/bin/env bash
     1.5 -#
     1.6 -# Author: Makarius
     1.7 -#
     1.8 -# DESCRIPTION: raw ML process (batch mode)
     1.9 -
    1.10 -isabelle_admin_build jars || exit $?
    1.11 -
    1.12 -case "$ISABELLE_JAVA_PLATFORM" in
    1.13 -  x86-*)
    1.14 -    ISABELLE_BUILD_JAVA_OPTIONS="$ISABELLE_BUILD_JAVA_OPTIONS32"
    1.15 -    ;;
    1.16 -  x86_64-*)
    1.17 -    ISABELLE_BUILD_JAVA_OPTIONS="$ISABELLE_BUILD_JAVA_OPTIONS64"
    1.18 -    ;;
    1.19 -esac
    1.20 -
    1.21 -declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_BUILD_JAVA_OPTIONS)"
    1.22 -
    1.23 -mkdir -p "$ISABELLE_TMP_PREFIX" || exit $?
    1.24 -
    1.25 -exec isabelle java isabelle.ML_Process "$@"