# HG changeset patch
# User wenzelm
# Date 1620733509 -7200
# Node ID 5e12dad8d09b4037a73a21a9ce3bb3f3066db8f3
# Parent  442460fba2a46f8815dbf716d667e00930e67160
update to gmp-6.2.1, with support for arm64-darwin;

diff -r 442460fba2a4 -r 5e12dad8d09b Admin/polyml/README
--- a/Admin/polyml/README	Tue May 11 13:06:36 2021 +0200
+++ b/Admin/polyml/README	Tue May 11 13:45:09 2021 +0200
@@ -37,16 +37,22 @@
 
 * Download:
 
-  $ curl https://gmplib.org/download/gmp/gmp-6.1.2.tar.xz | xz -dc | tar xf -
-  $ cd gmp-6.1.2
+  $ curl https://gmplib.org/download/gmp/gmp-6.2.1.tar.bz2 | tar xjf -
+  $ cd gmp-6.2.1
 
 * build:
 
   $ make distclean
+
+  #Intel
   $ ./configure --enable-cxx --build=core2-apple-darwin"$(uname -r)"
+
+  #ARM
+  $ ./configure --enable-cxx --build=aarch64-apple-darwin"$(uname -r)"
+
   $ make && make check
   $ sudo make install
 
 
         Makarius
-        07-May-2021
+        11-May-2021