2018-04-11 19:08:38 +02:00
|
|
|
{ lib
|
2018-05-24 16:36:18 +02:00
|
|
|
, fetchFromGitHub
|
2018-04-11 19:08:38 +02:00
|
|
|
, buildPythonPackage
|
|
|
|
, pkgconfig
|
|
|
|
, gmp
|
|
|
|
, pari
|
|
|
|
, mpfr
|
|
|
|
, fplll
|
|
|
|
, cython
|
|
|
|
, cysignals
|
|
|
|
, numpy
|
|
|
|
, pytest
|
|
|
|
}:
|
|
|
|
|
|
|
|
buildPythonPackage rec {
|
|
|
|
pname = "fpylll";
|
2018-05-24 16:36:18 +02:00
|
|
|
version = "0.4.1dev";
|
2018-04-11 19:08:38 +02:00
|
|
|
|
2018-05-24 16:36:18 +02:00
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "fplll";
|
|
|
|
repo = "fpylll";
|
|
|
|
rev = version;
|
|
|
|
sha256 = "01x2sqdv0sbjj4g4waj0hj4rcn4bq7h17442xaqwbznym9azmn9w";
|
2018-04-11 19:08:38 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
buildInputs = [
|
|
|
|
gmp
|
|
|
|
pari
|
|
|
|
mpfr
|
|
|
|
fplll
|
|
|
|
];
|
|
|
|
|
|
|
|
propagatedBuildInputs = [
|
|
|
|
cython
|
|
|
|
cysignals
|
|
|
|
numpy
|
|
|
|
];
|
|
|
|
|
|
|
|
nativeBuildInputs = [
|
|
|
|
pkgconfig
|
|
|
|
];
|
|
|
|
|
|
|
|
checkInputs = [
|
|
|
|
pytest
|
|
|
|
];
|
|
|
|
|
|
|
|
checkPhase = ''
|
|
|
|
py.test
|
|
|
|
'';
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
description = "A Python interface for fplll";
|
|
|
|
homepage = https://github.com/fplll/fpylll;
|
|
|
|
maintainers = with lib.maintainers; [ timokau ];
|
|
|
|
license = lib.licenses.gpl2Plus;
|
|
|
|
};
|
|
|
|
}
|