--- a/lib/scripts/getfunctions Wed Oct 17 16:53:45 2018 +0200
+++ b/lib/scripts/getfunctions Wed Oct 17 20:06:19 2018 +0200
@@ -37,6 +37,18 @@
}
export -f isabelle_opam
+#Haskell management via Stack
+function isabelle_stack()
+{
+ if [ -z "$ISABELLE_STACK" ]; then
+ echo "Unknown ISABELLE_STACK -- Haskell management tools unavailable" >&2
+ return 127
+ else
+ env STACK_ROOT="$(platform_path "$ISABELLE_STACK_ROOT")" "$ISABELLE_STACK" "$@"
+ fi
+}
+export -f isabelle_stack
+
#robust invocation via ISABELLE_JDK_HOME
function isabelle_jdk ()
{