1#!/usr/bin/env bash 2# 3# Author: Makarius 4# 5# DESCRIPTION: setup Glasgow Haskell Compiler via Stack 6 7set -e 8 9isabelle_stack setup 10isabelle_stack ghc -- --version 11echo -n "$(standard_path "$(isabelle_stack path --compiler-exe)")" > "$ISABELLE_STACK_ROOT/ISABELLE_GHC_EXE-$ISABELLE_PLATFORM_FAMILY" 12