[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#28925] [PATCH 1/7] gnu: camlp5: install META file.
From: |
Ludovic Courtès |
Subject: |
[bug#28925] [PATCH 1/7] gnu: camlp5: install META file. |
Date: |
Mon, 23 Oct 2017 21:50:23 -0700 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) |
address@hidden skribis:
> From: Julien Lepiller <address@hidden>
>
> * gnu/packages/ocaml.scm (camlp5) [phases]: New install-meta phase.
> ---
> gnu/packages/ocaml.scm | 7 ++++++-
> 1 file changed, 6 insertions(+), 1 deletion(-)
>
> diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
> index aa2f00667..40d42a5d4 100644
> --- a/gnu/packages/ocaml.scm
> +++ b/gnu/packages/ocaml.scm
> @@ -401,7 +401,12 @@ syntax of OCaml.")
> (lambda _
> (zero? (system* "make" "-j" (number->string
> (parallel-job-count))
> - "world.opt")))))))
> + "world.opt"))))
> + ;; Required for findlib to find camlp5's libraries
> + (add-after 'install 'install-meta
> + (lambda* (#:key outputs #:allow-other-keys)
> + (install-file "etc/META" (string-append (assoc-ref outputs
> "out")
> +
> "/lib/ocaml/camlp5/")))))))
Return #t, but otherwise LGTM!
Ludo'.
- [bug#28925] [PATCH 5/7] gnu: Update coq-coquelicot to 3.0.1., (continued)
- [bug#28925] [PATCH 5/7] gnu: Update coq-coquelicot to 3.0.1., julien, 2017/10/21
- [bug#28925] [PATCH 3/7] gnu: Update coq-flocq to 2.6.0., julien, 2017/10/21
- [bug#28925] [PATCH 7/7] gnu: Update coq-interval to 3.3.0., julien, 2017/10/21
- [bug#28925] [PATCH 4/7] gnu: Update coq-mathcomp to 1.6.2., julien, 2017/10/21
- [bug#28925] [PATCH 2/7] gnu: Update coq to 8.7.0., julien, 2017/10/21
- [bug#28925] [PATCH] gnu: youtube-dl: Update to 2017.10.20., julien, 2017/10/21
- [bug#28925] [PATCH 6/7] gnu: Add coq-bignums., julien, 2017/10/21
- [bug#28925] [PATCH 1/7] gnu: camlp5: install META file.,
Ludovic Courtès <=