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).")
                #~(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)