me
/
guix
Archived
1
0
Fork 0
Code

gnu: minizinc: Use gexps. 

* gnu/packages/maths.scm (minizinc): Use gexps.

Change-Id: I60a0d56b6d6ba33d96ca13b58355b5c213b0f6d2
master
Andreas Enge 2024-05-15 14:51:38 +02:00
parent fcf6d663e3
commit 8e5579f37c
No known key found for this signature in database
GPG Key ID: F7D5C9BF765C61E3
1 changed files with 10 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
gnu/packages/maths.scm
View File

@ -4154,17 +4154,18 @@ book.")
#t)))) #t))))
(build-system cmake-build-system) (build-system cmake-build-system)
(arguments (arguments
`(#:tests? #f ; no ‘check’ target (list
#:modules ((guix build cmake-build-system) #:tests? #f ; no ‘check’ target
#:modules '((guix build cmake-build-system)
(guix build utils) (guix build utils)
(srfi srfi-1)) (srfi srfi-1))
#:phases #:phases
(modify-phases %standard-phases #~(modify-phases %standard-phases
(add-after 'install 'install-solver-configs (add-after 'install 'install-solver-configs
(lambda* (#:key inputs outputs #:allow-other-keys) (lambda _
(let ((chuffed (assoc-ref inputs "chuffed")) (let ((chuffed #$(this-package-input "chuffed"))
(gecode (assoc-ref inputs "gecode")) (gecode #$(this-package-input "gecode"))
(pkgdatadir (string-append (assoc-ref outputs "out") (pkgdatadir (string-append #$output
"/share/minizinc"))) "/share/minizinc")))
(call-with-output-file (string-append pkgdatadir (call-with-output-file (string-append pkgdatadir
"/Preferences.json") "/Preferences.json")