Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
1.3 kB · 59 lines
Nix
at litex
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960{ 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 ]; };}