bug#67232: closed ([PATCH] gnu: Add clingo-dl.)

[GNU bug Tracking System]

Your message dated Thu, 23 Nov 2023 09:31:53 +0100
with message-id <3ad706e3f225326aa1207522cb0876bf62d7f0a0.camel@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@gnu.org.)


-- 
67232: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=67232
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> 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
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [PATCH] gnu: Add clingo-dl.
>
>
>
>
> Date: 
>
> Thu, 23 Nov 2023 09:31:53 +0100
>
>
>
>
> User-agent: 
>
> Evolution 3.46.4 
>
>
>
>
> 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.
>
>
> --- End Message ---