isabelle: lib/Tools/ghci@30c384e72749 (annotated)

69151 b310bc57f55f support for GHC via command-line tools; wenzelm parents: diff changeset	1	#!/usr/bin/env bash
b310bc57f55f support for GHC via command-line tools; wenzelm parents: diff changeset	2	#
b310bc57f55f support for GHC via command-line tools; wenzelm parents: diff changeset	3	# Author: Makarius
b310bc57f55f support for GHC via command-line tools; wenzelm parents: diff changeset	4	#
b310bc57f55f support for GHC via command-line tools; wenzelm parents: diff changeset	5	# DESCRIPTION: invoke GHC interaction within the Isabelle environment
b310bc57f55f support for GHC via command-line tools; wenzelm parents: diff changeset	6
69160 30c384e72749 clarified errors; wenzelm parents: 69158 diff changeset	7	if [ -d "$ISABELLE_STACK_ROOT" -a -n "$ISABELLE_GHC" ]; then
69158 1722cc56d22e more robust: avoid implicit setup (with default resolver); wenzelm parents: 69151 diff changeset	8	isabelle_stack ghci "$@"
1722cc56d22e more robust: avoid implicit setup (with default resolver); wenzelm parents: 69151 diff changeset	9	else
69160 30c384e72749 clarified errors; wenzelm parents: 69158 diff changeset	10	echo "Cannot execute ghci: missing Isabelle GHC setup" >&2
69158 1722cc56d22e more robust: avoid implicit setup (with default resolver); wenzelm parents: 69151 diff changeset	11	exit 127
1722cc56d22e more robust: avoid implicit setup (with default resolver); wenzelm parents: 69151 diff changeset	12	fi