me
/
guix
Archived
1
0
Fork 0
Code

gnu: chuffed: Update to 0.13.2. 

* gnu/packages/maths.scm (chuffed): Update to 0.13.2.

Change-Id: I77fc1ceb9caa42833689fba771010aeb38443e5e
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
master
Herman Rimm 2024-05-15 20:01:59 +02:00 committed by Ludovic Courtès
parent 4b443b41f4
commit 977bac6897
No known key found for this signature in database
GPG Key ID: 090B11993D9AEBB5
1 changed files with 14 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
gnu/packages/maths.scm
View File

@ -310,7 +310,7 @@ programmatic functions.")
(define-public chuffed (define-public chuffed
(package (package
(name "chuffed") (name "chuffed")
(version "0.13.1") (version "0.13.2")
(source (source
(origin (origin
(method git-fetch) (method git-fetch)
@ -318,23 +318,21 @@ programmatic functions.")
(url "https://github.com/chuffed/chuffed") (url "https://github.com/chuffed/chuffed")
(commit version))) (commit version)))
(sha256 (sha256
(base32 "1c28q166qh84q4i5wz77fqvw7kld3fmhd245sgdvyxcbjpi2wr0m")))) (base32
"164brmwn71p9gb2441kh7b1gzmy2sg7bjv5z00wjs9nw41qc908g"))))
(build-system cmake-build-system) (build-system cmake-build-system)
(synopsis "Lazy clause generation solver")
(arguments (arguments
(list (list #:tests? #f ;no 'test' target
#:tests? #f ;no 'test' target #:phases
#:phases #~(modify-phases %standard-phases #~(modify-phases %standard-phases
(add-before 'build 'patch-msc (add-before 'build 'patch-msc
(lambda _ (lambda* (#:key outputs #:allow-other-keys)
(let ((out #$output)) (let ((out (assoc-ref outputs "out")))
(substitute* "chuffed.msc" (substitute* "chuffed.msc"
;; Replace fzn-chuffed and chuffed paths (("\\.\\./../..") out)
;; before build. (("\\.\\.")
(("\\.\\./../..") (string-append out "/share/minizinc")))))))))
out) (synopsis "Lazy clause generation solver")
(("\\.\\.")
(string-append out "/share/minizinc")))))))))
(description (description
"Chuffed is a state of the art lazy clause solver designed from the "Chuffed is a state of the art lazy clause solver designed from the
ground up with lazy clause generation in mind. Lazy clause generation ground up with lazy clause generation in mind. Lazy clause generation