commit 612defb824d5b695aa3f5a6944fad5f7ee9c320c · pyrox.dev/nixpkgs

+68

pkgs/development/python-modules/deal-solver/default.nix

···

       1
       1
       +
       { lib

     

       2
       2
       +
       , buildPythonPackage

     

       3
       3
       +
       , fetchFromGitHub

     

       4
       4
       +
       , pythonOlder

     

       5
       5
       +
       , flit-core

     

       6
       6
       +
       , z3

     

       7
       7
       +
       , astroid

     

       8
       8
       +
       , pytestCheckHook

     

       9
       9
       +
       , hypothesis

     

       10
       10
       +
       }:

     

       11
       11
       +
       

     

       12
       12
       +
       buildPythonPackage rec {

     

       13
       13
       +
         pname = "deal-solver";

     

       14
       14
       +
         version = "0.1.0";

     

       15
       15
       +
         format = "pyproject";

     

       16
       16
       +
         disabled = pythonOlder "3.6";

     

       17
       17
       +
       

     

       18
       18
       +
         src = fetchFromGitHub {

     

       19
       19
       +
           owner = "life4";

     

       20
       20
       +
           repo = pname;

     

       21
       21
       +
           rev = "refs/tags/${version}";

     

       22
       22
       +
           hash = "sha256-eSSyLBwPc0rrfew91nLBagYDD6aJRyx0cE9YTTSODI8=";

     

       23
       23
       +
         };

     

       24
       24
       +
       

     

       25
       25
       +
         nativeBuildInputs = [

     

       26
       26
       +
           flit-core

     

       27
       27
       +
         ];

     

       28
       28
       +
       

     

       29
       29
       +
         postPatch = ''

     

       30
       30
       +
           # Use upstream z3 implementation

     

       31
       31
       +
           substituteInPlace pyproject.toml \

     

       32
       32
       +
             --replace "\"z3-solver\"," "" \

     

       33
       33
       +
             --replace "\"--cov=deal_solver\"," "" \

     

       34
       34
       +
             --replace "\"--cov-report=html\"," "" \

     

       35
       35
       +
             --replace "\"--cov-report=xml\"," "" \

     

       36
       36
       +
             --replace "\"--cov-report=term-missing:skip-covered\"," "" \

     

       37
       37
       +
             --replace "\"--cov-fail-under=100\"," ""

     

       38
       38
       +
         '';

     

       39
       39
       +
       

     

       40
       40
       +
         propagatedBuildInputs = [

     

       41
       41
       +
           z3

     

       42
       42
       +
           astroid

     

       43
       43
       +
         ];

     

       44
       44
       +
       

     

       45
       45
       +
         checkInputs = [

     

       46
       46
       +
           pytestCheckHook

     

       47
       47
       +
           hypothesis

     

       48
       48
       +
         ];

     

       49
       49
       +
       

     

       50
       50
       +
         disabledTests = [

     

       51
       51
       +
           # z3 assertion error

     

       52
       52
       +
           "test_expr_asserts_ok"

     

       53
       53
       +
         ];

     

       54
       54
       +
       

     

       55
       55
       +
         disabledTestPaths = [

     

       56
       56
       +
           # regex matching seems flaky on tests

     

       57
       57
       +
           "tests/test_stdlib/test_re.py"

     

       58
       58
       +
         ];

     

       59
       59
       +
       

     

       60
       60
       +
         pythonImportsCheck = [ "deal_solver" ];

     

       61
       61
       +
       

     

       62
       62
       +
         meta = with lib; {

     

       63
       63
       +
           description = "Z3-powered solver (theorem prover) for deal";

     

       64
       64
       +
           homepage = "https://github.com/life4/deal-solver";

     

       65
       65
       +
           license = licenses.mit;

     

       66
       66
       +
           maintainers = with maintainers; [ gador ];

     

       67
       67
       +
         };

     

       68
       68
       +
       }

+100

pkgs/development/python-modules/deal/default.nix

···

       1
       1
       +
       { lib

     

       2
       2
       +
       , buildPythonPackage

     

       3
       3
       +
       , pythonOlder

     

       4
       4
       +
       , fetchFromGitHub

     

       5
       5
       +
       , flit-core

     

       6
       6
       +
       , astroid

     

       7
       7
       +
       , pytestCheckHook

     

       8
       8
       +
       , docstring-parser

     

       9
       9
       +
       , isort

     

       10
       10
       +
       , marshmallow

     

       11
       11
       +
       , pytest-cov

     

       12
       12
       +
       , sphinx

     

       13
       13
       +
       , hypothesis

     

       14
       14
       +
       , vaa

     

       15
       15
       +
       , deal-solver

     

       16
       16
       +
       , pygments

     

       17
       17
       +
       , typeguard

     

       18
       18
       +
       , coverage

     

       19
       19
       +
       , urllib3

     

       20
       20
       +
       }:

     

       21
       21
       +
       

     

       22
       22
       +
       buildPythonPackage rec {

     

       23
       23
       +
         pname = "deal";

     

       24
       24
       +
         version = "4.23.3";

     

       25
       25
       +
         format = "pyproject";

     

       26
       26
       +
         disabled = pythonOlder "3.7";

     

       27
       27
       +
       

     

       28
       28
       +
         src = fetchFromGitHub {

     

       29
       29
       +
           owner = "life4";

     

       30
       30
       +
           repo = pname;

     

       31
       31
       +
           rev = "refs/tags/${version}";

     

       32
       32
       +
           hash = "sha256-duFxe2KSQQb7HB5KrrE32xzTb6QkQcrQssiuXLKao50=";

     

       33
       33
       +
         };

     

       34
       34
       +
       

     

       35
       35
       +
         postPatch = ''

     

       36
       36
       +
           # don't do coverage

     

       37
       37
       +
           substituteInPlace pyproject.toml \

     

       38
       38
       +
             --replace "\"--cov-fail-under=100\"," "" \

     

       39
       39
       +
             --replace "\"--cov=deal\"," "" \

     

       40
       40
       +
             --replace "\"--cov-report=html\"," "" \

     

       41
       41
       +
             --replace "\"--cov-report=term-missing:skip-covered\"," ""

     

       42
       42
       +
         '';

     

       43
       43
       +
       

     

       44
       44
       +
         nativeBuildInputs = [

     

       45
       45
       +
           flit-core

     

       46
       46
       +
         ];

     

       47
       47
       +
       

     

       48
       48
       +
         propagatedBuildInputs = [

     

       49
       49
       +
           astroid

     

       50
       50
       +
           deal-solver

     

       51
       51
       +
           pygments

     

       52
       52
       +
           typeguard

     

       53
       53
       +
         ];

     

       54
       54
       +
       

     

       55
       55
       +
         checkInputs = [

     

       56
       56
       +
           pytestCheckHook

     

       57
       57
       +
       

     

       58
       58
       +
           docstring-parser

     

       59
       59
       +
           marshmallow

     

       60
       60
       +
           sphinx

     

       61
       61
       +
           hypothesis

     

       62
       62
       +
           vaa

     

       63
       63
       +
           urllib3

     

       64
       64
       +
         ];

     

       65
       65
       +
       

     

       66
       66
       +
         disabledTests = [

     

       67
       67
       +
           # needs internet access

     

       68
       68
       +
           "test_smoke_has"

     

       69
       69
       +
           "test_pure_offline"

     

       70
       70
       +
           "test_raises_doesnt_override_another_contract"

     

       71
       71
       +
           "test_raises_doesnt_override_another_contract_async"

     

       72
       72
       +
           "test_raises_generator"

     

       73
       73
       +
           # AttributeError: module 'vaa' has no attribute 'Error'

     

       74
       74
       +
           "test_source_vaa_scheme"

     

       75
       75
       +
           "test_vaa_scheme_and_custom_exception"

     

       76
       76
       +
           "test_scheme_string_validation_args_correct"

     

       77
       77
       +
           "test_method_chain_decorator_with_scheme_is_fulfilled"

     

       78
       78
       +
           "test_scheme_contract_is_satisfied_when_setting_arg"

     

       79
       79
       +
           "test_scheme_contract_is_satisfied_within_chain"

     

       80
       80
       +
           "test_scheme_errors_rewrite_message"

     

       81
       81
       +
         ];

     

       82
       82
       +
       

     

       83
       83
       +
         disabledTestPaths = [

     

       84
       84
       +
           # needs internet access

     

       85
       85
       +
           "tests/test_runtime/test_offline.py"

     

       86
       86
       +
         ];

     

       87
       87
       +
       

     

       88
       88
       +
         pythonImportsCheck = [ "deal" ];

     

       89
       89
       +
       

     

       90
       90
       +
         meta = with lib; {

     

       91
       91
       +
           description = "Library for design by contract (DbC) and checking values, exceptions, and side-effects";

     

       92
       92
       +
           longDescription = ''

     

       93
       93
       +
             In a nutshell, deal empowers you to write bug-free code.

     

       94
       94
       +
             By adding a few decorators to your code, you get for free tests, static analysis, formal verification, and much more

     

       95
       95
       +
           '';

     

       96
       96
       +
           homepage = "https://github.com/life4/deal";

     

       97
       97
       +
           license = licenses.mit;

     

       98
       98
       +
           maintainers = with maintainers; [ gador ];

     

       99
       99
       +
         };

     

       100
       100
       +
       }

+34

pkgs/development/python-modules/pyschemes/default.nix

···

       1
       1
       +
       { lib

     

       2
       2
       +
       , buildPythonPackage

     

       3
       3
       +
       , fetchFromGitHub

     

       4
       4
       +
       , pythonAtLeast

     

       5
       5
       +
       , pytestCheckHook

     

       6
       6
       +
       }:

     

       7
       7
       +
       

     

       8
       8
       +
       buildPythonPackage rec {

     

       9
       9
       +
         pname = "pyschemes";

     

       10
       10
       +
         version = "unstable-2017-11-08";

     

       11
       11
       +
         format = "setuptools";

     

       12
       12
       +
       

     

       13
       13
       +
         disabled = pythonAtLeast "3.10";

     

       14
       14
       +
       

     

       15
       15
       +
         src = fetchFromGitHub {

     

       16
       16
       +
           owner = "spy16";

     

       17
       17
       +
           repo = pname;

     

       18
       18
       +
           rev = "ca6483d13159ba65ba6fc2f77b90421c40f2bbf2";

     

       19
       19
       +
           hash = "sha256-PssucudvlE8mztwVme70+h+2hRW/ri9oV9IZayiZhdU=";

     

       20
       20
       +
         };

     

       21
       21
       +
       

     

       22
       22
       +
         checkInputs = [

     

       23
       23
       +
           pytestCheckHook

     

       24
       24
       +
         ];

     

       25
       25
       +
       

     

       26
       26
       +
         pythonImportsCheck = [ "pyschemes" ];

     

       27
       27
       +
       

     

       28
       28
       +
         meta = with lib; {

     

       29
       29
       +
           description = "A library for validating data structures in Python";

     

       30
       30
       +
           homepage = "https://github.com/spy16/pyschemes";

     

       31
       31
       +
           license = licenses.wtfpl;

     

       32
       32
       +
           maintainers = with maintainers; [ gador ];

     

       33
       33
       +
         };

     

       34
       34
       +
       }

+56

pkgs/development/python-modules/vaa/default.nix

···

       1
       1
       +
       { lib

     

       2
       2
       +
       , buildPythonPackage

     

       3
       3
       +
       , fetchFromGitHub

     

       4
       4
       +
       , flit-core

     

       5
       5
       +
       , pytestCheckHook

     

       6
       6
       +
       , cerberus

     

       7
       7
       +
       , django

     

       8
       8
       +
       , djangorestframework

     

       9
       9
       +
       , marshmallow

     

       10
       10
       +
       , pyschemes

     

       11
       11
       +
       , wtforms

     

       12
       12
       +
       , email_validator

     

       13
       13
       +
       }:

     

       14
       14
       +
       

     

       15
       15
       +
       buildPythonPackage rec {

     

       16
       16
       +
         pname = "vaa";

     

       17
       17
       +
         version = "0.2.1";

     

       18
       18
       +
         format = "pyproject";

     

       19
       19
       +
       

     

       20
       20
       +
         src = fetchFromGitHub {

     

       21
       21
       +
           owner = "life4";

     

       22
       22
       +
           repo = pname;

     

       23
       23
       +
           rev = "refs/tags/v.${version}";

     

       24
       24
       +
           hash = "sha256-24GTTJSZ55ejyHoWP1/S3DLTKvOolAJr9UhWoOm84CU=";

     

       25
       25
       +
         };

     

       26
       26
       +
       

     

       27
       27
       +
         postPatch = ''

     

       28
       28
       +
           substituteInPlace pyproject.toml \

     

       29
       29
       +
             --replace "requires = [\"flit\"]" "requires = [\"flit_core\"]" \

     

       30
       30
       +
             --replace "build-backend = \"flit.buildapi\"" "build-backend = \"flit_core.buildapi\""

     

       31
       31
       +
         '';

     

       32
       32
       +
       

     

       33
       33
       +
         nativeBuildInputs = [

     

       34
       34
       +
           flit-core

     

       35
       35
       +
         ];

     

       36
       36
       +
       

     

       37
       37
       +
         checkInputs = [

     

       38
       38
       +
           pytestCheckHook

     

       39
       39
       +
           cerberus

     

       40
       40
       +
           django

     

       41
       41
       +
           djangorestframework

     

       42
       42
       +
           marshmallow

     

       43
       43
       +
           pyschemes

     

       44
       44
       +
           wtforms

     

       45
       45
       +
           email_validator

     

       46
       46
       +
         ];

     

       47
       47
       +
       

     

       48
       48
       +
         pythonImportsCheck = [ "vaa" ];

     

       49
       49
       +
       

     

       50
       50
       +
         meta = with lib; {

     

       51
       51
       +
           description = "VAlidators Adapter makes validation by any existing validator with the same interface";

     

       52
       52
       +
           homepage = "https://github.com/life4/vaa";

     

       53
       53
       +
           license = licenses.mit;

     

       54
       54
       +
           maintainers = with maintainers; [ gador ];

     

       55
       55
       +
         };

     

       56
       56
       +
       }

pkgs/top-level/python-packages.nix

···

       2135
       2135
        
       

     

       2136
       2136
        
         ddt = callPackage ../development/python-modules/ddt { };

     

       2137
       2137
        
       

     

       2138
       2138
       +
         deal = callPackage ../development/python-modules/deal { };

     

       2139
       2139
       +
       

     

       2140
       2140
       +
         deal-solver = callPackage ../development/python-modules/deal-solver { };

     

       2141
       2141
       +
       

     

       2138
       2142
        
         deap = callPackage ../development/python-modules/deap { };

     

       2139
       2143
        
       

     

       2140
       2144
        
         debian = callPackage ../development/python-modules/debian { };

     
···

       6531
       6535
        
       

     

       6532
       6536
        
         pysbd = callPackage ../development/python-modules/pysbd { };

     

       6533
       6537
        
       

     

       6538
       6538
       +
         pyschemes = callPackage ../development/python-modules/pyschemes { };

     

       6539
       6539
       +
       

     

       6534
       6540
        
         pyshark = callPackage ../development/python-modules/pyshark { };

     

       6535
       6541
        
       

     

       6536
       6542
        
         pysiaalarm = callPackage ../development/python-modules/pysiaalarm { };

     
···

       10838
       10844
        
         uvloop = callPackage ../development/python-modules/uvloop {

     

       10839
       10845
        
           inherit (pkgs.darwin.apple_sdk.frameworks) ApplicationServices CoreServices;

     

       10840
       10846
        
         };

     

       10847
       10847
       +
       

     

       10848
       10848
       +
         vaa = callPackage ../development/python-modules/vaa { };

     

       10841
       10849
        
       

     

       10842
       10850
        
         validate-email = callPackage ../development/python-modules/validate-email { };

     

       10843
       10851