spkg-configure for fplll

[Michael 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.

[Michael Orlitzky]

New commits:

​34d1c62

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

[Matthias Köppe]

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

[git]

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

​e478f11

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

[Michael Orlitzky]

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

[Matthias Köppe]

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

[Matthias Köppe]

And this all can be tested using tox.

[Dima Pasechnik]

on debian one needs libfplll-dev and (probably) fplll-tools

• the latter is very small, so it doesn't hurt to ask for it be installed.

[git]

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

​e8c3867

Trac #29245: add Debian package information for fplll.

[Dima Pasechnik]

Debian fplll package is broken - fplll/pruner/ headers are missing. So one gets

[fpylll-0.5.1dev]     building 'fpylll.fplll.integer_matrix' extension
[fpylll-0.5.1dev]     creating build/temp.linux-x86_64-2.7/build/src/fpylll/fplll
[fpylll-0.5.1dev]     gcc -fno-strict-aliasing -g -O2 -DNDEBUG -g -fwrapv -O3 -Wall -Wno-unused -fPIC -Isrc/fpylll/fplll -I/home/dimpase/sage/local/lib/python2.7/site-packages/cysignals -I/home/dimpase/sage/local/include -I/home/dimpase/sage/local/lib/python2.7/site-packages/numpy/core/include -I/home/dimpase/sage/local/include/python2.7 -c build/src/fpylll/fplll/integer_matrix.cpp -o build/temp.linux-x86_64-2.7/build/src/fpylll/fplll/integer_matrix.o -std=c++11
[fpylll-0.5.1dev]     build/src/fpylll/fplll/integer_matrix.cpp:698:10: fatal error: fplll/pruner/pruner.h: No such file or directory
[fpylll-0.5.1dev]      #include "fplll/pruner/pruner.h"
[fpylll-0.5.1dev]               ^~~~~~~~~~~~~~~~~~~~~~~
[fpylll-0.5.1dev]     compilation terminated.
[fpylll-0.5.1dev]     error: command 'gcc' failed with exit status 1

I propose to include a check for this header in the macro.

[Dima Pasechnik]

In fact, fplll-5.2.1 does not have that header, they only appear in fplll-5.3

so, just updating the minimal version will do.

[git]

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

​7fc917b

Trac #29245: increase minimum version of fplll to 5.3.

[Michael Orlitzky]

Replying to dimpase:

In fact, fplll-5.2.1 does not have that header, they only appear in fplll-5.3

so, just updating the minimal version will do.

Thanks, fixed.