Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
1.1 kB · 54 lines
Nix
at llvm-cleanup
12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455{ lib, buildPythonPackage, cachetools, decorator, fetchFromGitHub, pysmt, pytestCheckHook, pythonOlder, pythonRelaxDepsHook, setuptools, z3-solver,}:
buildPythonPackage rec { pname = "claripy"; version = "9.2.102"; pyproject = true;
disabled = pythonOlder "3.11";
src = fetchFromGitHub { owner = "angr"; repo = "claripy"; rev = "refs/tags/v${version}"; hash = "sha256-U7aN6MOptGjW61HDfZDM7Vit5G+rm1LujgHoo6oRX3s="; };
# z3 does not provide a dist-info, so python-runtime-deps-check will fail pythonRemoveDeps = [ "z3-solver" ];
build-system = [ pythonRelaxDepsHook setuptools ];
dependencies = [ cachetools decorator pysmt z3-solver ] ++ z3-solver.requiredPythonModules;
nativeCheckInputs = [ pytestCheckHook ];
pythonImportsCheck = [ "claripy" ];
meta = with lib; { description = "Python abstraction layer for constraint solvers"; homepage = "https://github.com/angr/claripy"; license = with licenses; [ bsd2 ]; maintainers = with maintainers; [ fab ]; };}