diff options
author | Julien Lepiller <julien@lepiller.eu> | 2019-11-27 20:42:01 +0100 |
---|---|---|
committer | Julien Lepiller <julien@lepiller.eu> | 2019-11-30 15:50:13 +0100 |
commit | a36074a8290137c827abd8d49129c89c647570d9 (patch) | |
tree | 86e316feb6b43b964d862318ed7414aaa09f114e /gnu | |
parent | 3a23b461f4eea3f0bd4e54018bc886d9db70017a (diff) | |
download | patches-a36074a8290137c827abd8d49129c89c647570d9.tar patches-a36074a8290137c827abd8d49129c89c647570d9.tar.gz |
gnu: ocaml-findlib: Update to 1.8.1.
* gnu/packages/ocaml.scm (ocaml-findlib): Update to 1.8.1.
[native-inputs]: Remove camlp4.
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/packages/ocaml.scm | 15 |
1 files changed, 4 insertions, 11 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index dea01cf6ad..6bb477d268 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -959,18 +959,17 @@ to the other.") (define-public ocaml-findlib (package (name "ocaml-findlib") - (version "1.8.0") + (version "1.8.1") (source (origin (method url-fetch) (uri (string-append "http://download.camlcity.org/download/" "findlib" "-" version ".tar.gz")) (sha256 (base32 - "1b97zqjdriqd2ikgh4rmqajgxwdwn013riji5j53y3xvcmnpsyrb")))) + "00s3sfb02pnjmkax25pcnljcnhcggiliccfz69a72ic7gsjwz1cf")))) (build-system gnu-build-system) (native-inputs - `(("camlp4" ,camlp4) - ("m4" ,m4) + `(("m4" ,m4) ("ocaml" ,ocaml))) (arguments `(#:tests? #f ; no test suite @@ -993,13 +992,7 @@ to the other.") (let ((out (assoc-ref outputs "out"))) (invoke "make" "install" (string-append "OCAML_CORE_STDLIB=" - out "/lib/ocaml/site-lib"))))) - (add-after 'install 'remove-camlp4 - (lambda* (#:key outputs #:allow-other-keys) - (let ((out (assoc-ref outputs "out"))) - (delete-file-recursively - (string-append out "/lib/ocaml/site-lib/camlp4")) - #t)))))) + out "/lib/ocaml/site-lib")))))))) (home-page "http://projects.camlcity.org/projects/findlib.html") (synopsis "Management tool for OCaml libraries") (description |