diff options
| author | Sharlatan Hellseher <sharlatanus@gmail.com> | 2025-03-27 10:44:35 +0000 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2025-04-16 11:46:22 +0200 |
| commit | 3fd29e131be020225957a0be6156987a954bd870 (patch) | |
| tree | da9a90b63df156a5dec198b9143865fac68f3f87 | |
| parent | 2e7ba7a88edc1dde530ed84ac4f23b2dd054f058 (diff) | |
gnu: python-crosshair: Update to 0.0.84, fix build.
* gnu/packages/check.scm (python-crosshair): Update to 0.0.84.
[phases] {fix-dependencies}: Adjust version check for z3-solver.
[propagated-inputs]: Add python-importlib-metadata, python-packaging,
and python-typing-extensions.
[native-inputs]: Add python-setuptools and python-wheel.
Change-Id: I31a1ee4dbd57aa6c3382006c7f02772ff205277f
| -rw-r--r-- | gnu/packages/check.scm | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm index 2c73b4a513..6597466a76 100644 --- a/gnu/packages/check.scm +++ b/gnu/packages/check.scm @@ -2802,13 +2802,13 @@ instantly.") (define-public python-crosshair (package (name "python-crosshair") - (version "0.0.76") + (version "0.0.84") (source (origin (method url-fetch) (uri (pypi-uri "crosshair-tool" version)) (sha256 - (base32 "1yvbhzs7r85gn4d7drl7p7vi1f5cga1xyy3mzxy3fglyf8kxyakh")))) + (base32 "1j6icn5f206yld9871p7a3v45jg8d8v4bhxh09lq3kzi09gr7maz")))) (build-system pyproject-build-system) (arguments (list @@ -2830,7 +2830,7 @@ instantly.") (("typing-inspect>=0.7.1") "typing-inspect>=0.6.0") ;; 'sanity-check fails for z3-solver, although it is ;; included in 'propagated-inputs. - (("z3-solver==4.13.0.0") "")))) + (("z3-solver>=4.13.0.0") "")))) (add-before 'check 'set-test-env (lambda _ (setenv "PYTHONHASHSEED" "0")))))) ;tests rely on this value @@ -2840,10 +2840,16 @@ instantly.") python-mypy python-numpy python-pytest - python-pytest-xdist)) + python-pytest-xdist + python-setuptools + python-wheel)) (propagated-inputs - (list python-typeshed-client + (list python-importlib-metadata + python-packaging + ;; python-pygls + python-typeshed-client python-typing-inspect + python-typing-extensions z3)) (home-page "https://crosshair.readthedocs.io") (synopsis "Analysis tool for Python using symbolic execution") |