tjh.dev
1{ lib
2, buildPythonPackage
3, fetchPypi
4, isl
5, pytest
6, cffi
7, six
8}:
9
10buildPythonPackage rec {
11 pname = "islpy";
12 version = "2018.2";
13
14 src = fetchPypi {
15 inherit pname version;
16 sha256 = "be422a53b576210a0bb9775866abb6580b1e568222fc3e4e39d9e82f6d1d7253";
17 };
18
19 postConfigure = ''
20 substituteInPlace setup.py \
21 --replace "\"pytest>=2\"," ""
22 '';
23
24 buildInputs = [ isl ];
25 checkInputs = [ pytest ];
26 propagatedBuildInputs = [
27 cffi
28 six
29 ];
30
31 checkPhase = ''
32 pytest test
33 '';
34
35 meta = with lib; {
36 description = "Python wrapper around isl, an integer set library";
37 homepage = https://github.com/inducer/islpy;
38 license = licenses.mit;
39 maintainers = [ maintainers.costrouc ];
40 };
41}