guix_mirror_bot pushed a commit to branch python-team
in repository guix.
commit e7f1e6ea67569518c7c108f6c1980e187f2d2ff6
Author: Sharlatan Hellseher <[email protected]>
AuthorDate: Fri Jan 2 11:44:58 2026 +0000
gnu: python-crosshair: Update to 0.0.101.
* gnu/packages/python-check.scm (python-crosshair): Update to 0.0.101.
[arguments] <test-flags>: Rework skipped tests, pass more.
<phases>: Remove 'fix-dependencies; add 'relax-requirements.
[native-inputs]: Remove python-wheel.
[propagated-inputs]: Add python-pygls.
Change-Id: I5b9c84d165c09ce62d364dbbd2da7108dc2eda1c
---
gnu/packages/python-check.scm | 28 +++++++++++++++-------------
1 file changed, 15 insertions(+), 13 deletions(-)
diff --git a/gnu/packages/python-check.scm b/gnu/packages/python-check.scm
index 58bdf79a92..51d555e663 100644
--- a/gnu/packages/python-check.scm
+++ b/gnu/packages/python-check.scm
@@ -636,32 +636,35 @@ output.")
(define-public python-crosshair
(package
(name "python-crosshair")
- (version "0.0.86")
+ (version "0.0.101")
(source
(origin
(method url-fetch)
(uri (pypi-uri "crosshair_tool" version))
(sha256
- (base32 "19zrv6gsap0qwn4rrs1wwajg0gkq7ys8qijsilmjrhc73dylgl72"))))
+ (base32 "10vrfrwmxgvfxcqz284xf40cpr3an788bbwsvi3lnd0v467b2vn3"))))
(build-system pyproject-build-system)
(arguments
(list
+ ;; tests: 12229 passed, 12 skipped, 3 xfailed, 84 warnings
#:test-flags
- #~(list "--numprocesses" (number->string (parallel-job-count))
+ #~(list "--numprocesses" (number->string (min 8 (parallel-job-count)))
;; check_examples_test.py contains failing tests that
;; show what happens if a counterexample is found.
"--ignore=crosshair/examples/check_examples_test.py"
- "--ignore=crosshair/lsp_server_test.py") ;requires pygls
+ ;; AttributeError: 'ArithRef' object has no attribute 'as_long'
+
"--deselect=crosshair/statespace_test.py::test_model_value_to_python_ArithRef"
+ ;; AssertionError: Got MessageType.CANNOT_CONFIRM instead of
+ ;; MessageType.CONFIRMED (use `pytest -v` to show trace)
+
"--deselect=crosshair/register_contract_test.py::test_register_numpy_randint")
#:phases
#~(modify-phases %standard-phases
- (add-after 'unpack 'fix-dependencies
+ (add-after 'unpack 'relax-requirements
(lambda _
(substitute* "setup.py"
- ;; pygls is only used by crosshair/lsp_server.py.
- (("pygls>=1.0.0") "")
- ;; 'sanity-check fails for z3-solver, although it is
- ;; included in 'propagated-inputs.
- (("z3-solver>=4.13.0.0") ""))))
+ ;; For some reason Python version is not set properly or can't
+ ;; be identified.
+ ((".*z3-solver.*") ""))))
(add-before 'check 'set-test-env
(lambda _
(setenv "PYTHONHASHSEED" "0")))))) ;tests rely on this value
@@ -672,12 +675,11 @@ output.")
python-numpy
python-pytest
python-pytest-xdist
- python-setuptools
- python-wheel))
+ python-setuptools))
(propagated-inputs
(list python-importlib-metadata
python-packaging
- ;; python-pygls
+ python-pygls
python-typeshed-client
python-typing-inspect
python-typing-extensions
