1{ lib
2, fetchFromGitHub
3, buildPythonPackage
4, pkgconfig
5, gmp
6, pari
7, mpfr
8, fplll
9, cython
10, cysignals
11, numpy
12, pytest
13}:
14
15buildPythonPackage rec {
16 pname = "fpylll";
17 version = "0.4.1dev";
18
19 src = fetchFromGitHub {
20 owner = "fplll";
21 repo = "fpylll";
22 rev = version;
23 sha256 = "01x2sqdv0sbjj4g4waj0hj4rcn4bq7h17442xaqwbznym9azmn9w";
24 };
25
26 buildInputs = [
27 gmp
28 pari
29 mpfr
30 fplll
31 ];
32
33 propagatedBuildInputs = [
34 cython
35 cysignals
36 numpy
37 ];
38
39 nativeBuildInputs = [
40 pkgconfig
41 ];
42
43 checkInputs = [
44 pytest
45 ];
46
47 checkPhase = ''
48 py.test
49 '';
50
51 meta = {
52 description = "A Python interface for fplll";
53 homepage = https://github.com/fplll/fpylll;
54 maintainers = with lib.maintainers; [ timokau ];
55 license = lib.licenses.gpl2Plus;
56 };
57}