MLton compiler for x86_64-linux
System
- 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.
- Projects
- None
- Subscribers
- None