diff mbox series

[bug#78559,2/2] gnu: minizinc: Add Google's OR-Tools as solver.

Message ID 403a32cc4d9b3b9aa416780939926e4e7db525c1.1747981045.git.herman@rimm.ee
State New
Headers
Series [bug#78559,1/2] gnu: Add or-tools. |

Commit Message

Herman Rimm May 23, 2025, 6:19 a.m. UTC 
  * gnu/packages/maths.scm (minizinc)[arguments]: Install OR-Tools config.
[inputs]: Add or-tools.

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

Patch

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 5d20803999a..bf05db8345e 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -4844,6 +4844,7 @@  (define-public minizinc
            (lambda _
              (let ((chuffed #$(this-package-input "chuffed"))
                    (gecode #$(this-package-input "gecode"))
+                   (or-tools #$(this-package-input "or-tools"))
                    (pkgdatadir (string-append #$output
                                               "/share/minizinc")))
                (call-with-output-file (string-append pkgdatadir
@@ -4864,11 +4865,11 @@  (define-public minizinc
                    (copy-recursively
                      (string-append solver "/share/minizinc/solvers")
                      (string-append pkgdatadir "/solvers")))
-                 (list gecode chuffed))))))))
+                 (list chuffed gecode or-tools))))))))
     (native-inputs
      (list bison flex))
     (inputs
-     (list cbc chuffed gecode zlib))
+     (list cbc chuffed gecode or-tools zlib))
     (home-page "https://www.minizinc.org")
     (synopsis "High-level constraint modeling language")
     (description "MiniZinc is a high-level modeling language for constraint