Phame Blogs Isabelle NEWS J63
MLton compiler for x86_64-linux
- The MLton compiler for x86_64-linux has been bundled as Isabelle component, since Ubuntu 22.04 no longer provides a suitable package. Note that on macOS, MLton is readily available via Homebrew: https://formulae.brew.sh/formula/mlton
The Isabelle settings refer to an executable "$ISABELLE_MLTON" and command-line options $ISABELLE_MLTON_OPTIONS, which need to fit together. Potential INCOMPATIBILITY for existing $ISABELLE_HOME_USER/etc/settings.
This refers to Isabelle/1a31d1551eb3.
Written by makarius on Sep 17 2022, 11:40 PM.