Opened 21 months ago

Closed 21 months ago

Last modified 21 months ago

#31482 closed enhancement (fixed)

Upgrade: latte_int 1.7.6

Reported by: Matthias Köppe Owned by:
Priority: critical Milestone: sage-9.3
Component: packages: optional Keywords: upgrade, latte_int
Cc: gh-kliem, François Bissey, Dima Pasechnik Merged in:
Authors: Matthias Koeppe Reviewers: Jonathan Kliem
Report Upstream: N/A Work issues:
Branch: 78daa99 (Commits, GitHub, GitLab) Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by Matthias Köppe)

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.

Change History (10)

comment:1 Changed 21 months ago by Matthias Köppe

Branch: u/mkoeppe/update_latte_int

comment:2 Changed 21 months ago by Matthias Köppe

Authors: Matthias Koeppe
Cc: gh-kliem François Bissey Dima Pasechnik added
Commit: 55211fad5e633916a2ffaf113084f4dbbc579808
Description: modified (diff)
Priority: majorcritical
Status: newneeds_review

New commits:

55211fabuild/pkgs/latte_int: Upgrade to 1.7.6

comment:3 Changed 21 months ago by git

Commit: 55211fad5e633916a2ffaf113084f4dbbc57980878daa99aea08f552a51dca6d55af5e2c5b340367

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

78daa99build/pkgs/latte_int/dependencies: Make lrslib only an optional dependency

comment:4 Changed 21 months ago by Matthias Köppe

Description: modified (diff)

comment:5 Changed 21 months ago by Matthias Köppe

Description: modified (diff)

comment:6 Changed 21 months ago by gh-kliem

Reviewers: Jonathan Kliem

Just waiting on all tests to pass locally.

comment:7 Changed 21 months ago by gh-kliem

Status: needs_reviewpositive_review

LGTM.

comment:8 Changed 21 months ago by Matthias Köppe

Thanks!

comment:9 Changed 21 months ago by Volker Braun

Branch: u/mkoeppe/update_latte_int78daa99aea08f552a51dca6d55af5e2c5b340367
Resolution: fixed
Status: positive_reviewclosed

comment:10 Changed 21 months ago by Samuel Lelièvre

Commit: 78daa99aea08f552a51dca6d55af5e2c5b340367
Keywords: upgrade latte_int added
Summary: Update latte_intUpgrade: latte_int 1.7.6
Note: See TracTickets for help on using tickets.