*** 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.
Example settings:
ISABELLE_MLTON="mlton"
ISABELLE_MLTON_OPTIONS=""
No special options are required for mlton taken from the underlying Linux
distribution; but the default options by the component might be in conflict.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
