HomeIsabelle/Phabricator
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.

Written by makarius on Sep 17 2022, 11:40 PM.
User
Projects
None
Subscribers
None

Event Timeline