GNU bug report logs - #28925
[PATCH] Update coq and coq libraries.

Previous Next

Full log

View this message in rfc822 format

From: ludo <at> gnu.org (Ludovic Courtès)
To: julien <at> lepiller.eu
Cc: 28925 <at> debbugs.gnu.org
Subject: [bug#28925] [PATCH 1/7] gnu: camlp5: install META file.
Date: Mon, 23 Oct 2017 21:50:23 -0700

julien <at> lepiller.eu skribis:

> From: Julien Lepiller <julien <at> lepiller.eu>
>
> * 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'.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.