GNU bug report logs - #67232
[PATCH] gnu: Add clingo-dl.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#67232: closed ([PATCH] gnu: Add clingo-dl.)
Date: Thu, 23 Nov 2023 08:33:02 +0000

[Message part 1 (text/plain, inline)]

Your message dated Thu, 23 Nov 2023 09:31:53 +0100
with message-id <3ad706e3f225326aa1207522cb0876bf62d7f0a0.camel <at> gmail.com>
and subject line Re: [PATCH] gnu: Add clingo-dl.
has caused the debbugs.gnu.org bug report #67232,
regarding [PATCH] gnu: Add clingo-dl.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
67232: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=67232
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: guix-patches <at> gnu.org
Subject: [PATCH] gnu: Add clingo-dl.
Date: Thu, 16 Nov 2023 19:27:33 +0100

* gnu/packages/potassco.scm (clingo-dl): New variable.

Change-Id: Ib6ff517435a614c3625d042453db05fe518241cd
---
 gnu/packages/potassco.scm | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm
index e6d7caa1ef..887c220ccf 100644
--- a/gnu/packages/potassco.scm
+++ b/gnu/packages/potassco.scm
@@ -221,6 +221,28 @@ (define-public clingo
     (description "Clingo computes answer sets for a given logic program.")
     (license license:expat)))
 
+(define-public clingo-dl
+  (package
+    (name "clingo-dl")
+    (version "1.4.0")
+    (source (origin
+              (method git-fetch)
+              (uri (git-reference
+                    (url "https://github.com/potassco/clingo-dl")
+                    (commit (string-append "v" version))))
+              (file-name (git-file-name name version))
+              (sha256
+               (base32 "0dncwj63vdm6958vb7355d5j9mdr7hm037j4z82yz6l77jg3sipw"))))
+    (build-system cmake-build-system)
+    (arguments (list #:tests? #f        ; no tests
+                     #:configure-flags #~`("-DPYCLINGODL_ENABLE=off")))
+    (inputs (list clingo))
+    (home-page "https://github.com/potassco/clingo-dl")
+    (synopsis "Solver for answer set programs modulo difference constraints")
+    (description "Clingo-DL is an extension to Clingo that models constraints
+over difference logic.")
+    (license license:expat)))
+
 (define-public emacs-pasp-mode
   (let ((commit "59385eb0e8ebcfc8c11dd811fb145d4b0fa3cc92")
         (revision "1"))

base-commit: 23627b1706af25a0a30b96b9169a3495279aff1b
-- 
2.41.0

[Message part 3 (message/rfc822, inline)]

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: 67232-done <at> debbugs.gnu.org
Subject: Re: [PATCH] gnu: Add clingo-dl.
Date: Thu, 23 Nov 2023 09:31:53 +0100

Am Donnerstag, dem 16.11.2023 um 19:27 +0100 schrieb Liliana Marie
Prikler:
> * gnu/packages/potassco.scm (clingo-dl): New variable.
> 
> Change-Id: Ib6ff517435a614c3625d042453db05fe518241cd
> ---
Aaaaand it's pushed.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.