diff options
| author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2025-01-31 10:15:48 +0100 |
|---|---|---|
| committer | jgart <jgart@dismail.de> | 2025-02-03 18:24:51 -0500 |
| commit | 2fda889ac992977af7b4cd96d09f737d834e0b2d (patch) | |
| tree | edfc3b8c326c9911de4008c8c1b24a983ddc556a | |
| parent | 78fee1bc7590e13a931a71f3a1b7b2ef0707d00b (diff) | |
| download | guix-2fda889ac992977af7b4cd96d09f737d834e0b2d.tar.gz guix-2fda889ac992977af7b4cd96d09f737d834e0b2d.zip | |
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>
| -rw-r--r-- | gnu/packages/potassco.scm | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 8330c23300..23a3099bfc 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) |