upgrade normaliz

sagemath · Apr 25, 2019 · e5c669d · e5c669d
1 parent eaa4584
commit e5c669d
Show file tree

Hide file tree

Showing 4 changed files with 9 additions and 8 deletions.
diff --git a/build/pkgs/normaliz/checksums.ini b/build/pkgs/normaliz/checksums.ini
@@ -1,4 +1,4 @@
 tarball=normaliz-VERSION.tar.gz
-sha1=76e2fc02cf2eb9b2d05c9b26f64a90015fb3292b
-md5=0cd4efb6d6f7177ce83955785a59dd6d
-cksum=1666633916
+sha1=d6009014b9e6f20aeea740fecfea4ceb6579571b
+md5=e2e4e2bf176374e23fa42e3cc8dc2faf
+cksum=1175027754
diff --git a/build/pkgs/normaliz/dependencies b/build/pkgs/normaliz/dependencies
@@ -1,4 +1,4 @@
-$(MP_LIBRARY) singular boost_cropped flint
+$(MP_LIBRARY) singular boost_cropped flint e_antic
 
 ----------
 All lines of this file are ignored except the first.

diff --git a/build/pkgs/normaliz/package-version.txt b/build/pkgs/normaliz/package-version.txt
@@ -1 +1 @@
-3.6.3
+3.7.0
diff --git a/build/pkgs/normaliz/spkg-install b/build/pkgs/normaliz/spkg-install
@@ -3,10 +3,11 @@ cd src
 # Disable features that require packages SCIP and CoCoA, both of which
 # are experimental packages.
 
-# FLINT is a standard package.  We pass --enable-flint to configure so
-# that an error will be signalled if FLINT cannot be found, rather
+# FLINT is a standard package and E-ANTIC is a standard pakcage.  We
+# pass --enable-flint and --enable-enfnormaliz to configure so
+# that an error will be signalled if FLINT or E-ANTIC cannot be found, rather
 # than building normaliz without it.
 
-sdh_configure --disable-scip --disable-nmzintegrate --enable-flint
+sdh_configure --disable-scip --disable-nmzintegrate --enable-flint --enable-enfnormaliz
 sdh_make
 sdh_make_install