spkg-configure for fplll

[orlitzky]

fplll ships a pkg-config file, is slow to build, and has only one dependency that was already spkg-configurified.

It is packaged for a few distros, so let's use it.

CC: @embray @dimpase @mkoeppe @isuruf @kiwifb

Component: build: configure

Author: Michael Orlitzky

Branch/Commit: 7fc917b

Reviewer: Dima Pasechnik

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

[orlitzky]

Author: Michael Orlitzky

[orlitzky]

Commit: 34d1c62

[orlitzky]

Description changed:

--- 
+++ 
@@ -2,4 +2,3 @@
 
 It is packaged for a few distros, so let's use it.
 
-

[orlitzky]

Branch: u/mjo/ticket/29245

[orlitzky]

New commits:

34d1c62

Trac #29245: new spkg-configure.m4 for fplll.

[mkoeppe]

comment:2

Could you add build/pkgs/fplll/distros/ please (see #29129)?

[sagetrac-git]

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

e478f11

Trac #29245: add "distros" directory with an entry for Gentoo.

[sagetrac-git]

Changed commit from 34d1c62 to e478f11

[orlitzky]

comment:4

Sure. I'll add the others if people can tell me what to stick in the text files. For example I'm pretty sure you need both the main package and -dev on Debian, but who knows. I'm also pretty sure that someone is going to tell me the pc file is missing somewhere and make me do a header/library search...

[mkoeppe]

comment:5

https://repology.org/ has the info you need