From e5c669d540ee5c34605618ea0658b94a3c29c43b Mon Sep 17 00:00:00 2001
From: Vincent Delecroix <20100.delecroix@gmail.com>
Date: Tue, 16 Apr 2019 22:03:04 +0200
Subject: [PATCH] upgrade normaliz

---
 build/pkgs/normaliz/checksums.ini       | 6 +++---
 build/pkgs/normaliz/dependencies        | 2 +-
 build/pkgs/normaliz/package-version.txt | 2 +-
 build/pkgs/normaliz/spkg-install        | 7 ++++---
 4 files changed, 9 insertions(+), 8 deletions(-)

diff --git a/build/pkgs/normaliz/checksums.ini b/build/pkgs/normaliz/checksums.ini
index 1840b515d2b..4697a5f59b0 100644
--- 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
index 2d318713b90..7e8ac7c6d53 100644
--- 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
index 4a788a01dad..7c69a55dbb1 100644
--- 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
index fdc62914456..c9bd7c4a723 100644
--- 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