Trac #31482: Update latte_int

https://github.com/latte-int/latte/releases/tag/version_1_7_6 This version finds the moved cddlib headers (as well as headers in the old location). We also make `lrslib` an optional dependency only. In contrast to the dependencies `4ti2` and `lidia`, at runtime LattE uses `lrslib` only when requested explicitly by a command-line option; and Sage does not pass this command-line option. Critical because the critical cddlib upgrade (#30319) depends on it. URL: https://trac.sagemath.org/31482 Reported by: mkoeppe Ticket author(s): Matthias Koeppe Reviewer(s): Jonathan Kliem
sagemath · Mar 18, 2021 · 69cfd45 · 69cfd45
2 parents 1a15085 + 78daa99
commit 69cfd45
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 5 deletions.
diff --git a/build/pkgs/latte_int/checksums.ini b/build/pkgs/latte_int/checksums.ini
@@ -1,4 +1,5 @@
 tarball=latte-int-VERSION.tar.gz
-sha1=991538936f867f3c27a72d639da6d816552d5637
-md5=a99112ab4a85dfc70fa71d9d1aa16b33
-cksum=1798037647
+sha1=0ba017349b21a9fdb34b74d7e23d584aa562b8f7
+md5=aa062777c4879f566134d048ce4c87d6
+cksum=3733141299
+upstream_url=https://github.com/latte-int/latte/releases/download/version_1_7_6/latte-int-VERSION.tar.gz
diff --git a/build/pkgs/latte_int/dependencies b/build/pkgs/latte_int/dependencies
@@ -1,4 +1,4 @@
-$(MP_LIBRARY) ntl 4ti2 cddlib lrslib lidia
+$(MP_LIBRARY) ntl 4ti2 cddlib lidia $(findstring lrslib,$(OPTIONAL_INSTALLED_PACKAGES))
 
 ----------
 All lines of this file are ignored except the first.

diff --git a/build/pkgs/latte_int/package-version.txt b/build/pkgs/latte_int/package-version.txt
@@ -1 +1 @@
-1.7.5.p0
+1.7.6