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 = "2019.1.2";
13
14 src = fetchPypi {
15 inherit pname version;
16 sha256 = "834b6b946f33d578d5c6b2f863dd93f7ecc4c0a2bf73407c96ef9f95b6b71bbf";
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}