From dab4770613ed57f1a0c5f7231f8657e2a82189ad Mon Sep 17 00:00:00 2001
From: Liliana Marie Prikler <liliana.prikler@gmail.com>
Date: Tue, 2 Sep 2025 11:31:06 +0200
Subject: [PATCH] gnu: Add python-clingcon.

* gnu/packages/potassco.scm (python-clingcon): New variable.
---
 gnu/packages/potassco.scm | 39 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 39 insertions(+)

diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm
index 08120663f62e4c1659884a47e4c8c820e479a3bf..b344eb70768f0ce0dfd1b604e07f280f842417c9 100644
--- a/gnu/packages/potassco.scm
+++ b/gnu/packages/potassco.scm
@@ -508,6 +508,45 @@ Python code.")))
 as a theory to clingo from Python code.  It also supports running clingo-dl
 directly from the python command line.")))
 
+(define-public python-clingcon
+  (package
+    (inherit clingcon)
+    (name "python-clingcon")
+    (version (package-version clingcon))
+    (arguments
+     (cons*
+      #:configure-flags
+      #~(list "-DPYCLINGCON_ENABLE=pip"
+              (string-append "-DCMAKE_MODULE_PATH="
+                             #$(this-package-native-input "python-scikit-build")
+                             "/lib/cmake/modules"))
+      #:imported-modules  `(,@%cmake-build-system-modules
+                            (guix build python-build-system))
+      #:modules '((guix build cmake-build-system)
+                  ((guix build python-build-system) #:prefix python:)
+                  (guix build utils))
+      (substitute-keyword-arguments (package-arguments clingcon)
+        ((#:phases phases)
+         #~(modify-phases #$phases
+             (add-after 'install 'install-distinfo
+               (lambda* (#:key inputs outputs #:allow-other-keys)
+                 (with-directory-excursion (python:site-packages inputs outputs)
+                   (let ((dir (string-append "clingcon-" #$version ".dist-info")))
+                     (mkdir-p dir)
+                     (call-with-output-file (string-append dir "/METADATA")
+                       (lambda (port)
+                         (format port "Metadata-Version: 1.1~%")
+                         (format port "Name: clingcon~%")
+                         (format port "Version: ~a~%" #$version))))))))))))
+    (inputs (modify-inputs (package-inputs clingcon)
+              (prepend python-wrapper)))
+    (propagated-inputs (list python-clingo python-cffi))
+    (native-inputs (modify-inputs (package-native-inputs clingcon)
+                     (prepend python-scikit-build)))
+    (synopsis "Python bindings for clingcon")
+    (description "This package allows users to add the clingcon propagator
+as a theory to clingo from Python code.")))
+
 (define-public python-clingox
   (package
     (name "python-clingox")