GNU bug report logs - #70087
[PATCH 1/4] gnu: gecode: Update to development version 6.3.0.

Previous Next

Full log

View this message in rfc822 format

From: Herman Rimm <herman <at> rimm.ee>
To: 70087 <at> debbugs.gnu.org
Cc: Andreas Enge <andreas <at> enge.fr>, Eric Bavier <bavier <at> posteo.net>, Sharlatan Hellseher <sharlatanus <at> gmail.com>
Subject: [bug#70087] [PATCH v2 3/4] gnu: minizinc: Add chuffed backend.
Date: Wed, 15 May 2024 17:51:24 +0200

* gnu/packages/maths.scm (minizinc): Add backend.

Change-Id: If178a7585d70eb4b6f3223f5f6b2f34d9d2f2257
---
 gnu/packages/maths.scm | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index d245805ffb..ec15af22c5 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -4113,8 +4113,9 @@ (define-public minizinc
          (add-after 'install 'install-solver-configs
            (lambda* (#:key inputs outputs #:allow-other-keys)
              (let ((gecode (assoc-ref inputs "gecode"))
+                   (chuffed (assoc-ref inputs "chuffed"))
                    (pkgdatadir (string-append (assoc-ref outputs "out")
-                                                  "/share/minizinc")))
+                                              "/share/minizinc")))
                (call-with-output-file (string-append pkgdatadir
                                                      "/Preferences.json")
                  (lambda (port)
@@ -4133,11 +4134,11 @@ (define-public minizinc
                    (copy-recursively
                      (string-append solver "/share/minizinc/solvers")
                      (string-append pkgdatadir "/solvers")))
-                 (list gecode))))))))
+                 (list chuffed gecode))))))))
     (native-inputs
      (list bison flex))
     (inputs
-     (list cbc gecode zlib))
+     (list cbc chuffed gecode zlib))
     (home-page "https://www.minizinc.org")
     (synopsis "High-level constraint modeling language")
     (description "MiniZinc is a high-level modeling language for constraint
-- 
2.41.0

Previous Next

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