Opened 3 years ago

Closed 3 years ago

#29245 closed enhancement (fixed)

spkg-configure for fplll

Reported by: Michael Orlitzky Owned by:
Priority: major Milestone: sage-9.1
Component: build: configure Keywords:
Cc: Erik Bray, Dima Pasechnik, Matthias Köppe, ​isuruf, François Bissey Merged in:
Authors: Michael Orlitzky Reviewers: Dima Pasechnik
Report Upstream: N/A Work issues:
Branch: 7fc917b (Commits, GitHub, GitLab) Commit: 7fc917b6cdeac783ad8dd05aed19fd783772d53d
Dependencies: Stopgaps:

Status badges

Description (last modified by 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.

Change History (14)

comment:1 Changed 3 years ago by Michael Orlitzky

Authors: Michael Orlitzky
Branch: u/mjo/ticket/29245
Cc: Erik Bray Dima Pasechnik Matthias Köppe ​isuruf François Bissey added
Commit: 34d1c62c3496c6c78238d8a350f7e58bcf127b7c
Description: modified (diff)
Status: newneeds_review

New commits:

34d1c62Trac #29245: new spkg-configure.m4 for fplll.

comment:2 Changed 3 years ago by Matthias Köppe

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

comment:3 Changed 3 years ago by git

Commit: 34d1c62c3496c6c78238d8a350f7e58bcf127b7ce478f113368a16d45c1c10f71d5dd49f47047724

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

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

comment:4 Changed 3 years ago by 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...

comment:5 Changed 3 years ago by Matthias Köppe

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

comment:6 Changed 3 years ago by Matthias Köppe

And this all can be tested using tox.

comment:7 Changed 3 years ago by 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.

comment:8 Changed 3 years ago by git

Commit: e478f113368a16d45c1c10f71d5dd49f47047724e8c386758094cb74e8c3c498a220dbccb0892a48

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

e8c3867Trac #29245: add Debian package information for fplll.

comment:9 Changed 3 years ago by Dima Pasechnik

Reviewers: Dima Pasechnik
Status: needs_reviewneeds_work

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.

comment:10 Changed 3 years ago by 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.

comment:11 Changed 3 years ago by git

Commit: e8c386758094cb74e8c3c498a220dbccb0892a487fc917b6cdeac783ad8dd05aed19fd783772d53d

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

7fc917bTrac #29245: increase minimum version of fplll to 5.3.

comment:12 in reply to:  10 Changed 3 years ago by 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.

comment:13 Changed 3 years ago by Dima Pasechnik

Status: needs_workpositive_review

comment:14 Changed 3 years ago by Volker Braun

Branch: u/mjo/ticket/292457fc917b6cdeac783ad8dd05aed19fd783772d53d
Resolution: fixed
Status: positive_reviewclosed
Note: See TracTickets for help on using tickets.