GNU bug report logs - #73867
[PATCH] gnu: Add clingo-lpx.

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 73867 in the body.
You can then email your comments to 73867 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: guix-patches <at> gnu.org
Subject: [PATCH] gnu: Add clingo-lpx.
Date: Thu, 3 Oct 2024 08:11:13 +0200

* gnu/packages/potassco.scm (clingo-lpx): New variable.
---
 gnu/packages/potassco.scm | 37 +++++++++++++++++++++++++++++++++++++
 1 file changed, 37 insertions(+)

diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm
index 9f6b48f890..3465974fde 100644
--- a/gnu/packages/potassco.scm
+++ b/gnu/packages/potassco.scm
@@ -32,6 +32,7 @@ (define-module (gnu packages potassco)
   #:use-module (guix build-system emacs)
   #:use-module (guix build-system python)
   #:use-module (guix build-system pyproject)
+  #:use-module (gnu packages algebra)
   #:use-module (gnu packages bison)
   #:use-module (gnu packages check)
   #:use-module (gnu packages cpp)
@@ -238,6 +239,42 @@ (define-public clingo-dl
 over difference logic.")
     (license license:expat)))
 
+(define-public clingo-lpx
+  (package
+    (name "clingo-lpx")
+    (version "1.3.0")
+    (source (origin
+              (method git-fetch)
+              (uri (git-reference
+                    (url "https://github.com/potassco/clingo-lpx")
+                    (commit (string-append "v" version))))
+              (file-name (git-file-name name version))
+              (modules '((guix build utils)))
+              (snippet
+               #~(begin
+                   (delete-file-recursively "third_party")))
+              (sha256
+               (base32
+                "1i184gy18k0mpqywbgziwl5wzkwwcdks81axndk4x6hjy878vhww"))))
+    (build-system cmake-build-system)
+    (arguments
+     (list #:configure-flags #~(list "-DCLINGOLPX_BUILD_TESTS=on"
+                                     "-DPYCLINGOLPX_ENABLE=off")
+           #:phases
+           #~(modify-phases %standard-phases
+               (add-after 'unpack 'patch-cmake
+                 (lambda _
+                   (substitute* "CMakeLists.txt"
+                     (("add_subdirectory\\(third_party\\)")
+                      "find_package(Catch2 3 REQUIRED)")))))))
+    (home-page "https://github.com/potassco/clingo-lpx")
+    (inputs (list clingo flint))
+    (native-inputs (list catch2-3))
+    (synopsis "Simplex solver")
+    (description "Clingo-LPX is an extension to Clingo that models constraints
+and goals over linear (in)equations.")
+    (license license:expat)))
+
 (define-public plasp
   (package
     (name "plasp")

base-commit: 061e0acd596262420facef7c2d1fc9cc4327d75a
-- 
2.46.0

Message #10 received at 73867-done <at> debbugs.gnu.org (full text, mbox):

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: 73866-done <at> debbugs.gnu.org, 73867-done <at> debbugs.gnu.org
Subject: Re: [PATCH] gnu: Add clingcon.
Date: Sun, 27 Oct 2024 09:42:50 +0100

Am Donnerstag, dem 03.10.2024 um 08:11 +0200 schrieb Liliana Marie
Prikler:
> * gnu/packages/potassco.scm (clingo-lpx): New variable.
> ---
> * gnu/packages/potassco.scm (clingcon): New variable.
> ---
Pushed.

Cheers

Previous Next

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