lib/Tools/console
author wenzelm
Wed Nov 07 21:42:16 2018 +0100 (9 months ago)
changeset 69255 800b1ce96fce
parent 66906 03a96b8c7c06
permissions -rwxr-xr-x
more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
     1 #!/usr/bin/env bash
     2 #
     3 # Author: Makarius
     4 #
     5 # DESCRIPTION: raw ML process (interactive mode)
     6 
     7 isabelle_admin_build jars || exit $?
     8 
     9 eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS)"
    10 
    11 mkdir -p "$ISABELLE_TMP_PREFIX" || exit $?
    12 
    13 if type -p "$ISABELLE_LINE_EDITOR" > /dev/null
    14 then
    15   exec "$ISABELLE_LINE_EDITOR" isabelle java "${JAVA_ARGS[@]}" isabelle.ML_Console "$@"
    16 else
    17   echo "### No line editor: \"$ISABELLE_LINE_EDITOR\""
    18   exec isabelle java "${JAVA_ARGS[@]}" isabelle.ML_Console "$@"
    19 fi