From 2fda889ac992977af7b4cd96d09f737d834e0b2d Mon Sep 17 00:00:00 2001 From: Liliana Marie Prikler Date: Fri, 31 Jan 2025 10:15:48 +0100 Subject: [PATCH] gnu: python-clingo: Build from sources. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * gnu/packages/potassco.scm (clingo)[source]: Also delete “libpyclingo/_clingo.c”. (python-clingo)[#:phases]: Add ‘generate-sources’. Remove ‘fix-failing-tests’. Signed-off-by: jgart --- 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 8330c233008..23a3099bfc2 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -162,7 +162,8 @@ satisfiability checking (SAT).") #~(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 @@ Lua code."))) (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)