summaryrefslogtreecommitdiff
path: root/gnu/packages/potassco.scm
diff options
context:
space:
mode:
authorLiliana Marie Prikler <liliana.prikler@gmail.com>2025-01-31 10:15:48 +0100
committerjgart <jgart@dismail.de>2025-02-03 18:24:51 -0500
commit2fda889ac992977af7b4cd96d09f737d834e0b2d (patch)
treeedfc3b8c326c9911de4008c8c1b24a983ddc556a /gnu/packages/potassco.scm
parent78fee1bc7590e13a931a71f3a1b7b2ef0707d00b (diff)
gnu: python-clingo: Build from sources.
* 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 <jgart@dismail.de>
Diffstat (limited to 'gnu/packages/potassco.scm')
-rw-r--r--gnu/packages/potassco.scm12
1 files 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).")
162 #~(begin 162 #~(begin
163 (delete-file-recursively "clasp") 163 (delete-file-recursively "clasp")
164 (delete-file-recursively "libgringo/gen") 164 (delete-file-recursively "libgringo/gen")
165 (delete-file-recursively "third_party"))) 165 (delete-file-recursively "third_party")
166 (delete-file "libpyclingo/_clingo.c")))
166 (sha256 167 (sha256
167 (base32 168 (base32
168 "1mxl3gwx55sf2ifcb92mfy989c50yqpnq0d0r2mxdqr0riy40hjb")))) 169 "1mxl3gwx55sf2ifcb92mfy989c50yqpnq0d0r2mxdqr0riy40hjb"))))
@@ -442,13 +443,10 @@ Lua code.")))
442 (guix build utils))) 443 (guix build utils)))
443 ((#:phases phases #~%standard-phases) 444 ((#:phases phases #~%standard-phases)
444 #~(modify-phases #$phases 445 #~(modify-phases #$phases
445 (add-after 'unpack 'fix-failing-tests 446 (add-after 'unpack 'generate-sources
446 (lambda _ 447 (lambda _
447 (substitute* "libpyclingo/clingo/tests/test_conf.py" 448 (with-directory-excursion "libpyclingo"
448 (("ctl\\.solve\\(on_statistics=on_statistics\\)" all) 449 (invoke "python" "compile.py" "c"))))
449 (string-append
450 all
451 "; self.skipTest(\"You shall not fail.\")")))))
452 (add-after 'install 'install-distinfo 450 (add-after 'install 'install-distinfo
453 (lambda* (#:key inputs outputs #:allow-other-keys) 451 (lambda* (#:key inputs outputs #:allow-other-keys)
454 (with-directory-excursion (python:site-packages inputs outputs) 452 (with-directory-excursion (python:site-packages inputs outputs)