[isabelle-dev] NEWS: MLton compiler for x86_64-linux
makarius at sketis.net
Sat Sep 17 23:44:13 CEST 2022
*** 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:
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
This refers to Isabelle/1a31d1551eb3.
No special options are required for mlton taken from the underlying Linux
distribution; but the default options by the component might be in conflict.
More information about the isabelle-dev