Admin/polyml/README
changeset 67595 5b4dd7a5b882
parent 67593 5efb88c90051
child 68473 1b8457cc4de8
--- 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: