Upgrade: latte_int 1.7.6

[mkoeppe]

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.

CC: @kliem @kiwifb @dimpase

Component: packages: optional

Keywords: upgrade, latte_int

Author: Matthias Koeppe

Branch: 78daa99

Reviewer: Jonathan Kliem

Issue created by migration from https://trac.sagemath.org/ticket/31482

[mkoeppe]

Branch: u/mkoeppe/update_latte_int

[mkoeppe]

Author: Matthias Koeppe

[mkoeppe]

Commit: 55211fa

[mkoeppe]

New commits:

55211fa

build/pkgs/latte_int: Upgrade to 1.7.6

[sagetrac-git]

Changed commit from 55211fa to 78daa99

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

78daa99

build/pkgs/latte_int/dependencies: Make lrslib only an optional dependency

[kliem]

comment:6

Just waiting on all tests to pass locally.

[kliem]

Reviewer: Jonathan Kliem

[kliem]

comment:7

LGTM.

[mkoeppe]

comment:8

Thanks!

[vbraun]

Changed branch from u/mkoeppe/update_latte_int to 78daa99

[slel]

Changed keywords from none to upgrade, latte_int

[slel]

Changed commit from 78daa99 to none