# HG changeset patch
# User wenzelm
# Date 1518190072 -3600
# Node ID c933a5d4e1eebbe8a06bffcfb2309596f6c843f6
# Parent  bf5c69acf2beef3abe7f9a5b22516d24c29a526e
support for libgmp for x86_64-darwin;

diff -r bf5c69acf2be -r c933a5d4e1ee Admin/polyml/NOTES
--- a/Admin/polyml/NOTES	Fri Feb 09 14:28:24 2018 +0100
+++ b/Admin/polyml/NOTES	Fri Feb 09 16:27:52 2018 +0100
@@ -6,14 +6,3 @@
 
 * include full source (without symlink), for example:
   $ wget https://github.com/polyml/polyml/archive/master.zip
-
-* libgmp on x86_64-darwin:
-
-  https://github.com/Homebrew/homebrew-core/blob/master/Formula/gmp.rb
-  https://gmplib.org/download/gmp/gmp-6.1.2.tar.xz
-
-  ./configure --enable-cxx --build=core2-apple-darwin"$(uname -r)"
-  make check
-  make install
-
-  isabelle build_polyml -m64 -s sha1 src --with-gmp LDFLAGS='-L/usr/local/lib' CPPFLAGS='-O3 -I/usr/local/include'
diff -r bf5c69acf2be -r c933a5d4e1ee Admin/polyml/README
--- a/Admin/polyml/README	Fri Feb 09 14:28:24 2018 +0100
+++ b/Admin/polyml/README	Fri Feb 09 16:27:52 2018 +0100
@@ -12,16 +12,25 @@
   $ isabelle build_polyml -m32 -s sha1 src --with-gmp
   $ isabelle build_polyml -m64 -s sha1 src --with-gmp
 
-* Mac OS X:
-
-  $ isabelle build_polyml -m32 -s sha1 src --without-gmp
-  $ isabelle build_polyml -m64 -s sha1 src --without-gmp
-
 * Windows (Cygwin shell)
 
   $ isabelle build_polyml -M /cygdrive/c/msys64 -m32 -s sha1 src --with-gmp
   $ isabelle build_polyml -M /cygdrive/c/msys64 -m64 -s sha1 src --with-gmp
 
+* Mac OS X:
+
+  $ isabelle build_polyml -m32 -s sha1 src --without-gmp
+  $ isabelle build_polyml -m64 -s sha1 src --with-gmp
+
+  The latter is based on libgmp for x86_64-darwin:
+
+  curl https://gmplib.org/download/gmp/gmp-6.1.2.tar.xz | xz -dc | tar xf -
+  cd gmp-6.1.2
+  ./configure --enable-cxx --build=core2-apple-darwin"$(uname -r)"
+  make
+  make check
+  make install
+
 
         Makarius
-        27-Nov-2017
+        09-Feb-2018