* [bug#67232] [PATCH] gnu: Add clingo-dl.
@ 2023-11-16 18:27 Liliana Marie Prikler
2023-11-23 8:31 ` bug#67232: " Liliana Marie Prikler
0 siblings, 1 reply; 2+ messages in thread
From: Liliana Marie Prikler @ 2023-11-16 18:27 UTC (permalink / raw)
To: 67232
* 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
^ permalink raw reply related [flat|nested] 2+ messages in thread
* bug#67232: [PATCH] gnu: Add clingo-dl.
2023-11-16 18:27 [bug#67232] [PATCH] gnu: Add clingo-dl Liliana Marie Prikler
@ 2023-11-23 8:31 ` Liliana Marie Prikler
0 siblings, 0 replies; 2+ messages in thread
From: Liliana Marie Prikler @ 2023-11-23 8:31 UTC (permalink / raw)
To: 67232-done
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.
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2023-11-23 8:33 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-11-16 18:27 [bug#67232] [PATCH] gnu: Add clingo-dl Liliana Marie Prikler
2023-11-23 8:31 ` bug#67232: " Liliana Marie Prikler
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.