33afbf39f6
checkInputs used to be added to nativeBuildInputs. Now we have nativeCheckInputs to do that instead. Doing this treewide change allows to keep hashes identical to before the introduction of nativeCheckInputs.
60 lines
1.2 KiB
Nix
60 lines
1.2 KiB
Nix
{ lib
|
|
, buildPythonPackage
|
|
, fetchFromGitHub
|
|
, pythonOlder
|
|
, flit-core
|
|
, z3
|
|
, astroid
|
|
, pytestCheckHook
|
|
, hypothesis
|
|
}:
|
|
|
|
buildPythonPackage rec {
|
|
pname = "deal-solver";
|
|
version = "0.1.1";
|
|
format = "pyproject";
|
|
|
|
disabled = pythonOlder "3.7";
|
|
|
|
src = fetchFromGitHub {
|
|
owner = "life4";
|
|
repo = pname;
|
|
rev = "refs/tags/${version}";
|
|
hash = "sha256-LXBAWbm8fT/jYNbzB95YeBL9fEknMNJvkTRMbc+nf6c=";
|
|
};
|
|
|
|
nativeBuildInputs = [
|
|
flit-core
|
|
];
|
|
|
|
postPatch = ''
|
|
# Use upstream z3 implementation
|
|
substituteInPlace pyproject.toml \
|
|
--replace "\"z3-solver\"," "" \
|
|
--replace "\"--cov=deal_solver\"," "" \
|
|
--replace "\"--cov-report=html\"," "" \
|
|
--replace "\"--cov-report=xml\"," "" \
|
|
--replace "\"--cov-report=term-missing:skip-covered\"," "" \
|
|
--replace "\"--cov-fail-under=100\"," ""
|
|
'';
|
|
|
|
propagatedBuildInputs = [
|
|
z3
|
|
astroid
|
|
] ++ z3.requiredPythonModules;
|
|
|
|
nativeCheckInputs = [
|
|
pytestCheckHook
|
|
hypothesis
|
|
];
|
|
|
|
pythonImportsCheck = [ "deal_solver" ];
|
|
|
|
meta = with lib; {
|
|
description = "Z3-powered solver (theorem prover) for deal";
|
|
homepage = "https://github.com/life4/deal-solver";
|
|
license = licenses.mit;
|
|
maintainers = with maintainers; [ gador ];
|
|
};
|
|
}
|