*** 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 http://isabelle.in.tum.de/repos/isabelle/file/4fb9cbe10f3e/Admin/polyml/README (the polyml-5.7.1-2 component has the old version by accident). Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
