* [bug#70769] [PATCH] gnu: Add python-clintest.
@ 2024-05-04 6:31 Liliana Marie Prikler
2024-05-13 7:10 ` Nicolas Graves via Guix-patches via
0 siblings, 1 reply; 3+ messages in thread
From: Liliana Marie Prikler @ 2024-05-04 6:31 UTC (permalink / raw)
To: 70769
* gnu/packages/potassco.scm (python-clintest): New variable.
---
gnu/packages/potassco.scm | 24 ++++++++++++++++++++++++
1 file changed, 24 insertions(+)
diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm
index 43d9ea6647..6a124c5bba 100644
--- a/gnu/packages/potassco.scm
+++ b/gnu/packages/potassco.scm
@@ -612,3 +612,27 @@ (define-public python-clinguin
(description "Clinguin is a graphical user interface toolkit for clingo,
which allows user interfaces to be specified entirely as a logic program.")
(license license:expat)))
+
+(define-public python-clintest
+ (package
+ (name "python-clintest")
+ (version "0.2.0")
+ (source (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/potassco/clintest")
+ (commit (string-append "v" version))))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32
+ "0xzbby9ram55h87ykm652kgm45b8rlhbjc8gjkz308h1jnjllmmy"))))
+ (build-system pyproject-build-system)
+ (inputs (list python-clingo))
+ (home-page "https://potassco.org/clintest/")
+ (synopsis "Test framework for clingo programs")
+ (description "Clintest is a framework for unit testing clingo programs.
+It provides various components to assemble the most commonly used tests quickly,
+but also works fine along custom-built test. Clintest monitors the test
+outcome while solving to abort the search for solutions once the outcome is
+certain.")
+ (license license:expat)))
base-commit: 5c13ab50b9c7d44238c64e5337027f04ae1d9223
--
2.41.0
^ permalink raw reply related [flat|nested] 3+ messages in thread
* [bug#70769] [PATCH] gnu: Add python-clintest.
2024-05-04 6:31 [bug#70769] [PATCH] gnu: Add python-clintest Liliana Marie Prikler
@ 2024-05-13 7:10 ` Nicolas Graves via Guix-patches via
2024-05-14 5:49 ` Liliana Marie Prikler
0 siblings, 1 reply; 3+ messages in thread
From: Nicolas Graves via Guix-patches via @ 2024-05-13 7:10 UTC (permalink / raw)
To: Liliana Marie Prikler, 70769
On 2024-05-04 08:31, Liliana Marie Prikler wrote:
> * gnu/packages/potassco.scm (python-clintest): New variable.
> ---
> gnu/packages/potassco.scm | 24 ++++++++++++++++++++++++
> 1 file changed, 24 insertions(+)
>
> diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm
> index 43d9ea6647..6a124c5bba 100644
> --- a/gnu/packages/potassco.scm
> +++ b/gnu/packages/potassco.scm
> @@ -612,3 +612,27 @@ (define-public python-clinguin
> (description "Clinguin is a graphical user interface toolkit for clingo,
> which allows user interfaces to be specified entirely as a logic program.")
> (license license:expat)))
> +
> +(define-public python-clintest
> + (package
> + (name "python-clintest")
> + (version "0.2.0")
> + (source (origin
> + (method git-fetch)
> + (uri (git-reference
> + (url "https://github.com/potassco/clintest")
> + (commit (string-append "v" version))))
> + (file-name (git-file-name name version))
> + (sha256
> + (base32
> + "0xzbby9ram55h87ykm652kgm45b8rlhbjc8gjkz308h1jnjllmmy"))))
> + (build-system pyproject-build-system)
> + (inputs (list python-clingo))
You can add (native-inputs (list python-pytest)) to enable tests
properly. There are quite some tests that are failing for some reason
(10/31), it's unclear why at first glance.
We probably should add this native-input and ignore failing tests.
Otherwise LGTM, builds properly.
> + (home-page "https://potassco.org/clintest/")
> + (synopsis "Test framework for clingo programs")
> + (description "Clintest is a framework for unit testing clingo programs.
> +It provides various components to assemble the most commonly used tests quickly,
> +but also works fine along custom-built test. Clintest monitors the test
> +outcome while solving to abort the search for solutions once the outcome is
> +certain.")
> + (license license:expat)))
>
> base-commit: 5c13ab50b9c7d44238c64e5337027f04ae1d9223
--
Best regards,
Nicolas Graves
^ permalink raw reply [flat|nested] 3+ messages in thread
* [bug#70769] [PATCH] gnu: Add python-clintest.
2024-05-13 7:10 ` Nicolas Graves via Guix-patches via
@ 2024-05-14 5:49 ` Liliana Marie Prikler
0 siblings, 0 replies; 3+ messages in thread
From: Liliana Marie Prikler @ 2024-05-14 5:49 UTC (permalink / raw)
To: Nicolas Graves, 70769
Am Montag, dem 13.05.2024 um 09:10 +0200 schrieb Nicolas Graves:
> You can add (native-inputs (list python-pytest)) to enable tests
> properly. There are quite some tests that are failing for some reason
> (10/31), it's unclear why at first glance.
>
> We probably should add this native-input and ignore failing tests.
>
> Otherwise LGTM, builds properly.
It appears to be a known issue from python-clingo already – we'll still
have to figure out the root cause for that as well. Added a fixme and
pushed.
Thanks
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2024-05-14 5:51 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2024-05-04 6:31 [bug#70769] [PATCH] gnu: Add python-clintest Liliana Marie Prikler
2024-05-13 7:10 ` Nicolas Graves via Guix-patches via
2024-05-14 5:49 ` Liliana Marie Prikler
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).