Opened 3 years ago

Closed 13 months ago

#27804 closed enhancement (fixed)

spkg-configure.m4, system package info for lrslib

Reported by: dimpase Owned by:
Priority: blocker Milestone: sage-9.3
Component: build: configure Keywords: spkg-configure
Cc: mkoeppe, slelievre Merged in:
Authors: Matthias Koeppe Reviewers: Dima Pasechnik
Report Upstream: N/A Work issues:
Branch: 78d7077 (Commits, GitHub, GitLab) Commit: 78d70770355c311bcee13273703ec104571fd6a8
Dependencies: Stopgaps:

Status badges

Description (last modified by mkoeppe)

https://repology.org/project/lrslib/versions

Critical for 9.3 because our own lrslib package is broken on several platforms

Change History (14)

comment:1 Changed 3 years ago by mkoeppe

The script should check whether lrslib has been configured with LRS_QUIET (see #27805).

comment:2 Changed 3 years ago by dimpase

do you know how to do this? (A short C/C++ program to plug in would do).

comment:3 Changed 3 years ago by embray

  • Milestone sage-8.8 deleted

As the Sage-8.8 release milestone is pending, we should delete the sage-8.8 milestone for tickets that are not actively being worked on or that still require significant work to move forward. If you feel that this ticket should be included in the next Sage release at the soonest please set its milestone to the next release milestone (sage-8.9).

comment:4 Changed 22 months ago by slelievre

  • Cc mkoeppe slelievre added

Matthias might know how to check whether lrslib was configured with LRS_QUIET.

comment:5 Changed 14 months ago by mkoeppe

  • Description modified (diff)
  • Milestone set to sage-9.3

comment:6 Changed 14 months ago by mkoeppe

  • Branch set to u/mkoeppe/spkg_configure_m4_for_lrslib

comment:7 Changed 14 months ago by mkoeppe

  • Authors set to Matthias Koeppe
  • Commit set to 78d70770355c311bcee13273703ec104571fd6a8
  • Status changed from new to needs_review
  • Summary changed from spkg-configure.m4 for lrslib to spkg-configure.m4, system package info for lrslib

Here's a simple version.


New commits:

7e88f8cbuild/pkgs/lrslib/distros: Add more
78d7077build/pkgs/lrslib/spkg-configure.m4: New

comment:8 Changed 14 months ago by dimpase

no version check? Should not be hard:

$ lrs -v


*bad input file name

*lrs_setup failed
*lrs:lrslib v.7.1 2020.10.17(64bit,lrslong.h,hybrid arithmetic)

comment:9 Changed 14 months ago by mkoeppe

Didn't find a distribution to test on, really... Anything that ships old lrs also has a too old FLINT

comment:10 Changed 14 months ago by dimpase

  • Reviewers set to Dima Pasechnik
  • Status changed from needs_review to positive_review

OK

comment:11 Changed 14 months ago by mkoeppe

Thanks!

comment:12 Changed 14 months ago by mkoeppe

  • Description modified (diff)
  • Priority changed from major to critical

comment:13 Changed 14 months ago by mkoeppe

  • Priority changed from critical to blocker

Setting priority to blocker to bring this ticket to the attention of the release bot.

comment:14 Changed 13 months ago by vbraun

  • Branch changed from u/mkoeppe/spkg_configure_m4_for_lrslib to 78d70770355c311bcee13273703ec104571fd6a8
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.