me
/
guix
Archived
1
0
Fork 0
Code

gnu: ocaml-zarith: Update to 1.12. 

* gnu/packages/ocaml.scm (ocaml-zarith): Update to 1.12.
Julien Lepiller 2021-07-05 17:31:10 +02:00
parent 7c6ace67bb
commit 96707d5a30
No known key found for this signature in database
GPG Key ID: 53D457B2D636EE82
1 changed files with 10 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
gnu/packages/ocaml.scm
View File

@ -1429,7 +1429,7 @@ files in these formats.")
(define-public ocaml-zarith (define-public ocaml-zarith
(package (package
(name "ocaml-zarith") (name "ocaml-zarith")
(version "1.9.1") (version "1.12")
(source (origin (source (origin
(method git-fetch) (method git-fetch)
(uri (git-reference (uri (git-reference
@ -1438,7 +1438,7 @@ files in these formats.")
(file-name (git-file-name name version)) (file-name (git-file-name name version))
(sha256 (sha256
(base32 (base32
"0hv5ywz1q2cgn8apfz490clwk5hcynr937g2v8i13x2ax4bnv0lz")))) "1jslm1rv1j0ya818yh23wf3bb6hz7qqj9pn5fwl45y9mqyqa01s9"))))
(build-system ocaml-build-system) (build-system ocaml-build-system)
(native-inputs (native-inputs
`(("perl" ,perl))) `(("perl" ,perl)))
@ -1449,7 +1449,14 @@ files in these formats.")
#:phases #:phases
(modify-phases %standard-phases (modify-phases %standard-phases
(replace 'configure (replace 'configure
(lambda _ (invoke "./configure")))))) (lambda _ (invoke "./configure")))
(add-after 'install 'move-sublibs
(lambda* (#:key outputs #:allow-other-keys)
(let* ((out (assoc-ref outputs "out"))
(lib (string-append out "/lib/ocaml/site-lib")))
(mkdir-p (string-append lib "/stublibs"))
(rename-file (string-append lib "/zarith/dllzarith.so")
(string-append lib "/stublibs/dllzarith.so"))))))))
(home-page "https://forge.ocamlcore.org/projects/zarith/") (home-page "https://forge.ocamlcore.org/projects/zarith/")
(synopsis "Implements arbitrary-precision integers") (synopsis "Implements arbitrary-precision integers")
(description "Implements arithmetic and logical operations over (description "Implements arithmetic and logical operations over