Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
1.5 kB · 64 lines
Nix
at llvm-cleanup
1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465{ lib, buildPythonPackage, fetchFromGitHub, pythonOlder, flit-core, z3-solver, astroid, pytestCheckHook, hypothesis, pythonRelaxDepsHook,}:
buildPythonPackage rec { pname = "deal-solver"; version = "0.1.2"; format = "pyproject";
disabled = pythonOlder "3.7";
src = fetchFromGitHub { owner = "life4"; repo = pname; rev = "refs/tags/${version}"; hash = "sha256-DAOeQLFR/JED32uJSW7W9+Xx5f1Et05W8Fp+Vm7sfZo="; };
nativeBuildInputs = [ flit-core pythonRelaxDepsHook ];
# z3 does not provide a dist-info, so python-runtime-deps-check will fail pythonRemoveDeps = [ "z3-solver" ];
postPatch = '' substituteInPlace pyproject.toml \ --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-solver astroid ] ++ z3-solver.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"; changelog = "https://github.com/life4/deal-solver/releases/tag/${version}"; license = licenses.mit; maintainers = with maintainers; [ gador ]; };}