diff options
| author | Herman Rimm <herman@rimm.ee> | 2024-03-30 12:42:40 +0100 |
|---|---|---|
| committer | Guix Patches Tester <> | 2024-04-17 13:58:11 +0200 |
| commit | 944eb58ecb12ff3e0a14ac63085cc9b886266aed (patch) | |
| tree | 26048eda17738224b6bec592a17f22864fd5fd8b | |
| parent | 26ec69009f35a93593924c1df6fd3565e13f8bc2 (diff) | |
| download | guix-patches-944eb58ecb12ff3e0a14ac63085cc9b886266aed.tar guix-patches-944eb58ecb12ff3e0a14ac63085cc9b886266aed.tar.gz | |
gnu: minizinc: Add chuffed backend.
* gnu/packages/maths.scm (minizinc): Add backend.
Change-Id: If178a7585d70eb4b6f3223f5f6b2f34d9d2f2257
| -rw-r--r-- | gnu/packages/maths.scm | 17 |
1 files changed, 10 insertions, 7 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 1ca1c97117..ed16042ddd 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -4066,9 +4066,9 @@ book.") (lambda (file) (member file (cons* "." ".." targets))) (scandir "."))) - (substitute* "libmzn.cmake" - (("include\\(cmake/targets/(.*)\\)" all target) - (if (member target targets) all ""))))) + (substitute* "libmzn.cmake" + (("include\\(cmake/targets/(.*)\\)" all target) + (if (member target targets) all ""))))) (with-directory-excursion "include/minizinc/solvers/MIP" (for-each delete-file (remove @@ -4107,9 +4107,10 @@ book.") (modify-phases %standard-phases (add-after 'install 'install-solver-configs (lambda* (#:key inputs outputs #:allow-other-keys) - (let ((gecode (assoc-ref inputs "gecode")) + (let ((chuffed (assoc-ref inputs "chuffed")) + (gecode (assoc-ref inputs "gecode")) (pkgdatadir (string-append (assoc-ref outputs "out") - "/share/minizinc"))) + "/share/minizinc"))) (call-with-output-file (string-append pkgdatadir "/Preferences.json") (lambda (port) @@ -4124,7 +4125,9 @@ book.") port) (newline port))) - (mkdir-p (string-append pkgdatadir "/solvers")) + (copy-recursively + (string-append chuffed "/share/minizinc/solvers") + (string-append pkgdatadir "/solvers")) (call-with-output-file (string-append pkgdatadir "/solvers/gecode.msc") (lambda (port) @@ -4151,7 +4154,7 @@ book.") (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 |