[isabelle-dev] NEWS: Poly/ML with libgmp on all platforms

Makarius makarius at sketis.net
Sat Feb 10 13:19:51 CET 2018

*** System ***

* The bundled Poly/ML 5.7.1 now uses The GNU Multiple Precision
Arithmetic Library (libgmp) on all platforms, notably Mac OS X with
32/64 bit.

This refers to Isabelle/4fb9cbe10f3e. It means I've ultimately managed
to build libgmp for x86_64-darwin and x86-darwin as well. The
explanations are in
(the polyml-5.7.1-2 component has the old version by accident).


More information about the isabelle-dev mailing list