lib/Tools/ghc
author wenzelm
Wed, 17 Oct 2018 22:41:59 +0200
changeset 69158 1722cc56d22e
parent 69151 b310bc57f55f
child 69160 30c384e72749
permissions -rwxr-xr-x
more robust: avoid implicit setup (with default resolver);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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 Glasgow Haskell Compiler within the Isabelle environment
b310bc57f55f support for GHC via command-line tools;
wenzelm
parents:
diff changeset
     6
69158
1722cc56d22e more robust: avoid implicit setup (with default resolver);
wenzelm
parents: 69151
diff changeset
     7
if [ -d "$ISABELLE_STACK_ROOT" ]; then
1722cc56d22e more robust: avoid implicit setup (with default resolver);
wenzelm
parents: 69151
diff changeset
     8
  isabelle_stack ghc -- "$@"
1722cc56d22e more robust: avoid implicit setup (with default resolver);
wenzelm
parents: 69151
diff changeset
     9
else
1722cc56d22e more robust: avoid implicit setup (with default resolver);
wenzelm
parents: 69151
diff changeset
    10
  exit 127
1722cc56d22e more robust: avoid implicit setup (with default resolver);
wenzelm
parents: 69151
diff changeset
    11
fi
1722cc56d22e more robust: avoid implicit setup (with default resolver);
wenzelm
parents: 69151
diff changeset
    12