Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
insist in specified resolver/compiler version;
authorwenzelm
Thu, 08 Nov 2018 14:58:04 +0100
changeset 69265 bd215c56cd96
parent 69264 021ea2abf42d
child 69266 7cc2d66a92a6
insist in specified resolver/compiler version;
lib/Tools/ghc file | annotate | diff | comparison | revisions 
--- a/lib/Tools/ghc	Thu Nov 08 14:56:53 2018 +0100
+++ b/lib/Tools/ghc	Thu Nov 08 14:58:04 2018 +0100
@@ -5,7 +5,7 @@
 # DESCRIPTION: invoke Glasgow Haskell Compiler within the Isabelle environment
 
 if [ -d "$ISABELLE_STACK_ROOT" -a -n "$ISABELLE_GHC" ]; then
-  isabelle_stack ghc -- "$@"
+  isabelle_stack ghc --resolver "$ISABELLE_STACK_RESOLVER" --compiler "$ISABELLE_GHC_VERSION" -- "$@"
 else
   echo "Cannot execute ghc: missing Isabelle GHC setup" >&2
   exit 127
isabelle