v0.5.1

MPL-v0.5.1 Release Notes (Dec 18, 2024)

This release includes a number of updates and bugfixes:

• (#189) Preliminary support for ARM-based Macs (thank you @waterlens!)
• (#184, #187, #188, #193, #195) Various performance optimizations for automatic parallelism management. Discussion is available here: #186. On code with little-to-no granularity control, improvements of as much as 70% in comparison to v0.5! (@MatthewFluet, @shwestrick)
• (#185) Upstream merge to keep up-to-date with MLton (@MatthewFluet)
• (#182, #183) various bugfixes and cleanup (@shwestrick)

(New) Building on Mac

⚠️ Note that support for ARM-based Macs is still early days. Bug reports are welcome! ⚠️

On Mac, you should now be able to build MPL as follows:

$ brew install gmp make mlton
$ git clone https://github.com/mpllang/mpl
$ cd mpl
$ gmake WITH_GMP_DIR=$(brew --prefix gmp)
...
$ ./build/bin/mpl  # installed locally here

Alternatively, we recommend using mpl-switch:

# Install dependencies for MPL
$ brew install gmp make mlton

# Install mpl-switch and initialize
$ git clone https://github.com/mpllang/mpl-switch
$ export PATH="$(pwd -P)/mpl-switch:$PATH"   # add mpl-switch to PATH
$ mpl-switch init
$ export PATH="$HOME/.mpl/bin:$PATH"   # add ~/.mpl/bin directory to PATH

# Configure mpl-switch 
$ mpl-switch set-option make-cmd gmake
$ mpl-switch set-option gmp-dir $(brew --prefix gmp)

Now you can build, install, and easily switch between multiple versions of MPL:

$ mpl-switch install v0.5.1
$ mpl-switch select v0.5.1
$ mpl foo.mlb