amaharaneko/guix-mirrors
1
1
Fork 0
mirror of https://codeberg.org/guix/guix.git synced 2025-10-02 02:15:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: python-hypothesmith: Move to python-check.

Browse source 
* gnu/packages/check.scm (python-hypothesmith): Move from here ...
* gnu/packages/python-check.scm: ... to here.

Change-Id: Ib894b5fb76aa8db6fc4a343e0f28d90f0c74fc72
This commit is contained in:
Sharlatan Hellseher 2025-04-24 04:34:35 +01:00
parent 9079dc6c61
commit b1ac5682bf
No known key found for this signature in database
GPG key ID: 76D727BFF62CD2B5
2 changed files with 43 additions and 42 deletions
Download patch file Download diff file Expand all files Collapse all files

42
gnu/packages/check.scm
View file

@ -2834,48 +2834,6 @@ seamlessly into your existing Python unit testing work flow.")
(define-deprecated python-hypothesis-next python-hypothesis) (define-deprecated python-hypothesis-next python-hypothesis)
(export python-hypothesis-next) (export python-hypothesis-next)
(define-public python-hypothesmith
(package
(name "python-hypothesmith")
(version "0.2.0")
(source
(origin
(method url-fetch)
(uri (pypi-uri "hypothesmith" version))
(sha256
(base32 "08kr9p6hjm3ys87k1k3l79cmf936qbhn21ab8zadsvnp0gyv7dqg"))))
(build-system pyproject-build-system)
(arguments
(list
#:test-flags
#~(list "-k"
(string-append
;; XXX: hypothesis.errors.Unsatisfiable
"not test_source_code_from_libcst_node_type[MatchSingleton]"
;; XXX: Python/Black versions not as expected.
" and not test_black_autoformatter_from_grammar"))
#:phases
#~(modify-phases %standard-phases
(add-after 'unpack 'patch-lark-dependency
(lambda _
(substitute* "setup.py"
(("lark-parser>=[0-9.]*") "lark")))))))
(propagated-inputs
(list python-hypothesis python-lark python-libcst-minimal))
(native-inputs
(list python-black
python-parso
python-pytest
python-pytest-cov
python-setuptools
python-wheel))
(home-page "https://github.com/Zac-HD/hypothesmith")
(synopsis "Strategies for generating Python programs")
(description
"This package contains hypothesis strategies for generating Python
programs, something like CSmith, a random generator of C programs.")
(license license:mpl2.0)))
;; WARNING: This package is a dependency of mesa. ;; WARNING: This package is a dependency of mesa.
(define-public python-lit (define-public python-lit
(package (package

43
gnu/packages/python-check.scm
View file

@ -28,6 +28,7 @@
;;; Copyright © 2024 Markku Korkeala <markku.korkeala@iki.fi> ;;; Copyright © 2024 Markku Korkeala <markku.korkeala@iki.fi>
;;; Copyright © 2025 Evgeny Pisemsky <mail@pisemsky.site> ;;; Copyright © 2025 Evgeny Pisemsky <mail@pisemsky.site>
;;; Copyright © 2025 Florent Pruvost <florent.pruvost@inria.fr> ;;; Copyright © 2025 Florent Pruvost <florent.pruvost@inria.fr>
;;; Copyright © 2025 Nicolas Graves <ngraves@ngraves.fr>
;;; ;;;
;;; This file is part of GNU Guix. ;;; This file is part of GNU Guix.
;;; ;;;
@ -778,6 +779,48 @@ Functions exposed by the standard library’s @code{time}, @code{datetime} and
Python software under test, when they make an HTTP query.") Python software under test, when they make an HTTP query.")
(license license:asl2.0))) (license license:asl2.0)))
(define-public python-hypothesmith
(package
(name "python-hypothesmith")
(version "0.2.0")
(source
(origin
(method url-fetch)
(uri (pypi-uri "hypothesmith" version))
(sha256
(base32 "08kr9p6hjm3ys87k1k3l79cmf936qbhn21ab8zadsvnp0gyv7dqg"))))
(build-system pyproject-build-system)
(arguments
(list
#:test-flags
#~(list "-k"
(string-append
;; XXX: hypothesis.errors.Unsatisfiable
"not test_source_code_from_libcst_node_type[MatchSingleton]"
;; XXX: Python/Black versions not as expected.
" and not test_black_autoformatter_from_grammar"))
#:phases
#~(modify-phases %standard-phases
(add-after 'unpack 'patch-lark-dependency
(lambda _
(substitute* "setup.py"
(("lark-parser>=[0-9.]*") "lark")))))))
(propagated-inputs
(list python-hypothesis python-lark python-libcst-minimal))
(native-inputs
(list python-black
python-parso
python-pytest
python-pytest-cov
python-setuptools
python-wheel))
(home-page "https://github.com/Zac-HD/hypothesmith")
(synopsis "Strategies for generating Python programs")
(description
"This package contains hypothesis strategies for generating Python
programs, something like CSmith, a random generator of C programs.")
(license license:mpl2.0)))
(define-public python-icontract (define-public python-icontract
(package (package
(name "python-icontract") (name "python-icontract")