Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
1.0 kB · 60 lines
Nix
at litex
12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061{ lib, buildPythonPackage, setuptools, cachetools, decorator, fetchFromGitHub, future, pysmt, pythonOlder, pytestCheckHook, z3}:
buildPythonPackage rec { pname = "claripy"; version = "9.2.54"; format = "pyproject";
disabled = pythonOlder "3.8";
src = fetchFromGitHub { owner = "angr"; repo = pname; rev = "refs/tags/v${version}"; hash = "sha256-YZvc2BIc8dAvDFfJ9+DEkfi8pXTFB0gQ5z7irYKZkw8="; };
nativeBuildInputs = [ setuptools ];
propagatedBuildInputs = [ cachetools decorator future pysmt z3 ];
nativeCheckInputs = [ pytestCheckHook ];
postPatch = '' # Use upstream z3 implementation substituteInPlace setup.cfg \ --replace "z3-solver==4.10.2.0" "" '';
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 ]; };}