GNU bug report logs - #75963
[PATCH] gnu: python-clingo: Build from sources.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: "jgart" <jgart <at> dismail.de>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#75963: closed ([PATCH] gnu: python-clingo: Build from sources.)
Date: Mon, 03 Feb 2025 23:56:02 +0000

[Message part 1 (text/plain, inline)]

Your message dated Mon, 03 Feb 2025 23:55:08 +0000
with message-id <be5539f94a16e0c09f418c8e7e90f96f01ddacd5 <at> dismail.de>
and subject line Re: [PATCH] gnu: python-clingo: Build from sources.
has caused the debbugs.gnu.org bug report #75963,
regarding [PATCH] gnu: python-clingo: Build from sources.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
75963: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=75963
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: guix-patches <at> gnu.org
Subject: [PATCH] gnu: python-clingo: Build from sources.
Date: Fri, 31 Jan 2025 10:15:48 +0100

* gnu/packages/potassco.scm (clingo)[source]: Also delete
“libpyclingo/_clingo.c”.
(python-clingo)[#:phases]: Add ‘generate-sources’.  Remove ‘fix-failing-tests’.
---
 gnu/packages/potassco.scm | 12 +++++-------
 1 file changed, 5 insertions(+), 7 deletions(-)

diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm
index 4da4b03328..43e56ec8bf 100644
--- a/gnu/packages/potassco.scm
+++ b/gnu/packages/potassco.scm
@@ -162,7 +162,8 @@ (define-public clingo
                #~(begin
                    (delete-file-recursively "clasp")
                    (delete-file-recursively "libgringo/gen")
-                   (delete-file-recursively "third_party")))
+                   (delete-file-recursively "third_party")
+                   (delete-file "libpyclingo/_clingo.c")))
               (sha256
                (base32
                 "1mxl3gwx55sf2ifcb92mfy989c50yqpnq0d0r2mxdqr0riy40hjb"))))
@@ -442,13 +443,10 @@ (define-public python-clingo
           (guix build utils)))
        ((#:phases phases #~%standard-phases)
         #~(modify-phases #$phases
-            (add-after 'unpack 'fix-failing-tests
+            (add-after 'unpack 'generate-sources
               (lambda _
-                (substitute* "libpyclingo/clingo/tests/test_conf.py"
-                  (("ctl\\.solve\\(on_statistics=on_statistics\\)" all)
-                   (string-append
-                    all
-                    "; self.skipTest(\"You shall not fail.\")")))))
+                (with-directory-excursion "libpyclingo"
+                  (invoke "python" "compile.py" "c"))))
             (add-after 'install 'install-distinfo
               (lambda* (#:key inputs outputs #:allow-other-keys)
                 (with-directory-excursion (python:site-packages inputs outputs)

base-commit: 5a6c66f7919fbe79251cd425ae6952e67acbe94c
prerequisite-patch-id: 89253557678bf26bc3fbd565a909d5ae9cdd49d3
prerequisite-patch-id: 4b946c39b233b199f3d4ab06228ec3a0e00418af
prerequisite-patch-id: dfd16e70832703c898b46430d2d65f5d4bdc7498
-- 
2.47.1

[Message part 3 (message/rfc822, inline)]

From: "jgart" <jgart <at> dismail.de>
To: 75963-done <at> debbugs.gnu.org, "Liliana Marie Prikler"
 <liliana.prikler <at> gmail.com>
Subject: Re: [PATCH] gnu: python-clingo: Build from sources.
Date: Mon, 03 Feb 2025 23:55:08 +0000

Applied, thanks!

all best,

jgart

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.