Opened 9 months ago

Closed 8 months ago

Last modified 8 months ago

#31482 closed enhancement (fixed)

Upgrade: latte_int 1.7.6

Reported by: mkoeppe Owned by:
Priority: critical Milestone: sage-9.3
Component: packages: optional Keywords: upgrade, latte_int
Cc: gh-kliem, fbissey, dimpase 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 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.

Change History (10)

comment:1 Changed 9 months ago by mkoeppe

  • Branch set to u/mkoeppe/update_latte_int

comment:2 Changed 9 months ago by mkoeppe

  • Authors set to Matthias Koeppe
  • Cc gh-kliem fbissey dimpase added
  • Commit set to 55211fad5e633916a2ffaf113084f4dbbc579808
  • Description modified (diff)
  • Priority changed from major to critical
  • Status changed from new to needs_review

New commits:

55211fabuild/pkgs/latte_int: Upgrade to 1.7.6

comment:3 Changed 9 months ago by git

  • Commit changed from 55211fad5e633916a2ffaf113084f4dbbc579808 to 78daa99aea08f552a51dca6d55af5e2c5b340367

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 9 months ago by mkoeppe

  • Description modified (diff)

comment:5 Changed 9 months ago by mkoeppe

  • Description modified (diff)

comment:6 Changed 9 months ago by gh-kliem

  • Reviewers set to Jonathan Kliem

Just waiting on all tests to pass locally.

comment:7 Changed 9 months ago by gh-kliem

  • Status changed from needs_review to positive_review

LGTM.

comment:8 Changed 9 months ago by mkoeppe

Thanks!

comment:9 Changed 8 months ago by vbraun

  • Branch changed from u/mkoeppe/update_latte_int to 78daa99aea08f552a51dca6d55af5e2c5b340367
  • Resolution set to fixed
  • Status changed from positive_review to closed

comment:10 Changed 8 months ago by slelievre

  • Commit 78daa99aea08f552a51dca6d55af5e2c5b340367 deleted
  • Keywords upgrade latte_int added
  • Summary changed from Update latte_int to Upgrade: latte_int 1.7.6
Note: See TracTickets for help on using tickets.