add option "build_context" in anticipation of AFP entries that require special tricks in Isabelle/ML (NB: system component settings are unavailable in AFP);
#!/usr/bin/env bash
#
# Author: Makarius
#
# DESCRIPTION: invoke Haskell Tool Stack within the Isabelle environment
isabelle_stack "$@"