[isabelle-dev] NEWS: MLton compiler for x86_64-linux

Makarius 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.

Example settings:


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 mailing list