diff mbox series

[bug#70087,v2,3/4] gnu: minizinc: Add chuffed backend.

Message ID ce2a3f62847271190904003a02c0e4e93ff92741.1715786322.git.herman@rimm.ee
State New
Headers show
Series [bug#70087,v2,1/4] gnu: gecode: Update to 6.2.0-1.f7f0d7c. | expand

Commit Message

Herman Rimm May 15, 2024, 3:51 p.m. UTC 
* gnu/packages/maths.scm (minizinc): Add backend.

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

Patch

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