--- a/Admin/polyml/README Sun Feb 11 13:07:59 2018 +0100
+++ b/Admin/polyml/README Sun Feb 11 13:13:03 2018 +0100
@@ -12,16 +12,16 @@
$ isabelle build_polyml -m32 -s sha1 src
$ isabelle build_polyml -m64 -s sha1 src
+* Mac OS X:
+
+ $ isabelle build_polyml -m32 -s sha1 src
+ $ isabelle build_polyml -m64 -s sha1 src
+
* Windows (Cygwin shell)
$ isabelle build_polyml -M /cygdrive/c/msys64 -m32 -s sha1 src
$ isabelle build_polyml -M /cygdrive/c/msys64 -m64 -s sha1 src
-* Mac OS X:
-
- $ isabelle build_polyml -m32 -s sha1 src
- $ isabelle build_polyml -m64 -s sha1 src
-
Building libgmp on Mac OS X
===========================
@@ -29,8 +29,8 @@
The build_polyml invocations above implicitly use the GNU Multiple Precision
Arithmetic Library (libgmp), but that is not available on Mac OS X by default.
Appending "--without-gmp" to the command-line omits this library. Building
-libgmp properly works as follows (library headers and binaries will be placed
-in /usr/local).
+libgmp properly from sources works as follows (library headers and binaries
+will be placed in /usr/local).
* Download: