spkg-configure.m4, system package info for lrslib

[dimpase]

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

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

CC: @mkoeppe @slel

Component: build: configure

Author: Matthias Koeppe

Branch/Commit: 78d7077

Reviewer: Dima Pasechnik

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

[mkoeppe]

comment:1

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

[dimpase]

comment:2

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

[embray]

comment:3

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).

[slel]

comment:4

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

[mkoeppe]

Branch: u/mkoeppe/spkg_configure_m4_for_lrslib

[mkoeppe]

comment:7

Here's a simple version.

---

New commits:

7e88f8c	build/pkgs/lrslib/distros: Add more
78d7077	build/pkgs/lrslib/spkg-configure.m4: New

[mkoeppe]

Author: Matthias Koeppe

[mkoeppe]

Commit: 78d7077

[dimpase]

comment:8

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)

[mkoeppe]

comment:9

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

[dimpase]

Reviewer: Dima Pasechnik

[dimpase]

comment:10

OK

[mkoeppe]

comment:11

Thanks!

[mkoeppe]

comment:13

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

[vbraun]

Changed branch from u/mkoeppe/spkg_configure_m4_for_lrslib to 78d7077