File tree Expand file tree Collapse file tree 2 files changed +11
-2
lines changed
pkgs/development/python-modules Expand file tree Collapse file tree 2 files changed +11
-2
lines changed Original file line number Diff line number Diff line change @@ -45,6 +45,12 @@ buildPythonPackage rec {
4545
4646 pythonImportsCheck = [ "deal_solver" ] ;
4747
48+ disabledTests = [
49+ # Flaky tests, sometimes it works sometimes it doesn't
50+ "test_expr_asserts_ok"
51+ "test_fuzz_math_floats"
52+ ] ;
53+
4854 meta = with lib ; {
4955 description = "Z3-powered solver (theorem prover) for deal" ;
5056 homepage = "https://github.com/life4/deal-solver" ;
Original file line number Diff line number Diff line change 77 pytestCheckHook ,
88 pythonOlder ,
99 replaceVars ,
10+ setuptools ,
1011 typing-extensions ,
1112} :
1213
1314buildPythonPackage rec {
1415 pname = "pylddwrap" ;
1516 version = "1.2.2" ;
16- format = "setuptools" ;
17+ pyproject = true ;
1718 disabled = pythonOlder "3.6" ;
1819
1920 src = fetchFromGitHub {
2021 owner = "Parquery" ;
21- repo = pname ;
22+ repo = "pylddwrap" ;
2223 rev = "v${ version } " ;
2324 hash = "sha256-Gm82VRu8GP52BohQzpMUJfh6q2tiUA2GJWOcG7ymGgg=" ;
2425 } ;
@@ -35,6 +36,8 @@ buildPythonPackage rec {
3536 rm -f $out/{LICENSE,README.rst,requirements.txt}
3637 '' ;
3738
39+ build-system = [ setuptools ] ;
40+
3841 propagatedBuildInputs = [
3942 icontract
4043 typing-extensions
You can’t perform that action at this time.
0 commit comments