--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/Tools/ghc_setup	Wed Oct 17 21:38:07 2018 +0200
@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+#
+# Author: Makarius
+#
+# DESCRIPTION: setup Glasgow Haskell Compiler setup via Stack
+
+isabelle_stack setup --resolver "$ISABELLE_STACK_RESOLVER" &&
+  isabelle_stack ghci --ghci-options --version