tjh.dev
1{
2 buildPythonPackage,
3 fetchFromGitHub,
4 writeText,
5 lib,
6 attrs,
7 six,
8 okonomiyaki,
9}:
10
11let
12 version = "0.8.2";
13 format = "setuptools";
14
15 versionFile = writeText "simplesat_ver" ''
16 version = '${version}'
17 full_version = '${version}'
18 git_revision = '0000000000000000000000000000000000000000'
19 is_released = True
20 msi_version = '${version}.000'
21 version_info = (${lib.versions.major version}, ${lib.versions.minor version}, ${lib.versions.patch version}, 'final', 0)
22 '';
23in
24buildPythonPackage rec {
25 pname = "simplesat";
26 inherit version;
27
28 propagatedBuildInputs = [
29 attrs
30 six
31 okonomiyaki
32 ];
33
34 src = fetchFromGitHub {
35 owner = "enthought";
36 repo = "sat-solver";
37 rev = "v${version}";
38 hash = "sha256-6BQn1W2JGrMmNqgxi+sXx06XzNMcvwqYGMkpD0SSpT8=";
39 };
40
41 preConfigure = ''
42 cp ${versionFile} simplesat/_version.py
43 '';
44 dontUseSetuptoolsCheck = true;
45
46 pythonImportsCheck = [ "simplesat" ];
47
48 meta = with lib; {
49 homepage = "https://github.com/enthought/sat-solver";
50 description = "Prototype for SAT-based dependency handling";
51 maintainers = with maintainers; [ genericnerdyusername ];
52 license = licenses.bsd3;
53 };
54}