isabelle: lib/Tools/console@83e815849a91 (annotated)

25632 01a8d27a0857 run Isabelle process with plain tty interaction; wenzelm parents: diff changeset	1	#!/usr/bin/env bash
01a8d27a0857 run Isabelle process with plain tty interaction; wenzelm parents: diff changeset	2	#
57439 0e41f26a0250 "isabelle tty" is superseded by "isabelle console"; wenzelm parents: 52062 diff changeset	3	# Author: Makarius
25632 01a8d27a0857 run Isabelle process with plain tty interaction; wenzelm parents: diff changeset	4	#
57439 0e41f26a0250 "isabelle tty" is superseded by "isabelle console"; wenzelm parents: 52062 diff changeset	5	# DESCRIPTION: run Isabelle process with raw ML console and line editor
25632 01a8d27a0857 run Isabelle process with plain tty interaction; wenzelm parents: diff changeset	6
62559 83e815849a91 isabelle console is based on Isabelle/Scala; wenzelm parents: 62509 diff changeset	7	isabelle_admin_build jars \|\| exit $?
61135 8f7d802b7a71 clarified Java runtime options (NB: ISABELLE_JAVA_PLATFORM is determined later via component); wenzelm parents: 57686 diff changeset	8
8f7d802b7a71 clarified Java runtime options (NB: ISABELLE_JAVA_PLATFORM is determined later via component); wenzelm parents: 57686 diff changeset	9	case "$ISABELLE_JAVA_PLATFORM" in
8f7d802b7a71 clarified Java runtime options (NB: ISABELLE_JAVA_PLATFORM is determined later via component); wenzelm parents: 57686 diff changeset	10	x86-*)
8f7d802b7a71 clarified Java runtime options (NB: ISABELLE_JAVA_PLATFORM is determined later via component); wenzelm parents: 57686 diff changeset	11	ISABELLE_BUILD_JAVA_OPTIONS="$ISABELLE_BUILD_JAVA_OPTIONS32"
8f7d802b7a71 clarified Java runtime options (NB: ISABELLE_JAVA_PLATFORM is determined later via component); wenzelm parents: 57686 diff changeset	12	;;
8f7d802b7a71 clarified Java runtime options (NB: ISABELLE_JAVA_PLATFORM is determined later via component); wenzelm parents: 57686 diff changeset	13	x86_64-*)
8f7d802b7a71 clarified Java runtime options (NB: ISABELLE_JAVA_PLATFORM is determined later via component); wenzelm parents: 57686 diff changeset	14	ISABELLE_BUILD_JAVA_OPTIONS="$ISABELLE_BUILD_JAVA_OPTIONS64"
8f7d802b7a71 clarified Java runtime options (NB: ISABELLE_JAVA_PLATFORM is determined later via component); wenzelm parents: 57686 diff changeset	15	;;
8f7d802b7a71 clarified Java runtime options (NB: ISABELLE_JAVA_PLATFORM is determined later via component); wenzelm parents: 57686 diff changeset	16	esac
8f7d802b7a71 clarified Java runtime options (NB: ISABELLE_JAVA_PLATFORM is determined later via component); wenzelm parents: 57686 diff changeset	17
57580 86b413b8f779 check and build Isabelle session for console tool -- avoid multiple Scala/JVM invocation; wenzelm parents: 57439 diff changeset	18	declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_BUILD_JAVA_OPTIONS)"
86b413b8f779 check and build Isabelle session for console tool -- avoid multiple Scala/JVM invocation; wenzelm parents: 57439 diff changeset	19
57686 5b16e2370ccb proper mkdir; wenzelm parents: 57581 diff changeset	20	mkdir -p "$ISABELLE_TMP_PREFIX" \|\| exit $?
57581 74bbe9317aa4 provide explicit options file -- avoid multiple Scala/JVM invocation; wenzelm parents: 57580 diff changeset	21
62559 83e815849a91 isabelle console is based on Isabelle/Scala; wenzelm parents: 62509 diff changeset	22	"$ISABELLE_TOOL" java "${JAVA_ARGS[@]}" isabelle.ML_Console "$@"

author	wenzelm
	Tue, 08 Mar 2016 18:15:16 +0100
changeset 62559	83e815849a91
parent 62509	13d6948e4b12
child 62562	905a5db3932d
permissions	-rwxr-xr-x