isabelle: lib/Tools/ghc_setup@c1e418161ace (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	#
69500 db001bc11855 tuned messages; wenzelm parents: 69267 diff changeset	5	# DESCRIPTION: setup Glasgow Haskell Compiler via Stack
69151 b310bc57f55f support for GHC via command-line tools; wenzelm parents: diff changeset	6
69242 c911716d29bb more robust: avoid isabelle_stack invocation in settings script (potentially slow or failing); wenzelm parents: 69159 diff changeset	7	set -e
c911716d29bb more robust: avoid isabelle_stack invocation in settings script (potentially slow or failing); wenzelm parents: 69159 diff changeset	8
69267 517655a528fe always insist in specified resolver/compiler version; wenzelm parents: 69242 diff changeset	9	isabelle_stack setup
517655a528fe always insist in specified resolver/compiler version; wenzelm parents: 69242 diff changeset	10	isabelle_stack ghc -- --version
69930 b5286c564861 more robust reference to ghc exe (with multi-platform support); wenzelm parents: 69500 diff changeset	11	echo -n "$(standard_path "$(isabelle_stack path --compiler-exe)")" > "$ISABELLE_STACK_ROOT/ISABELLE_GHC_EXE-$ISABELLE_PLATFORM_FAMILY"