[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#28925] [PATCH 1/7] gnu: camlp5: install META file.
From: |
julien |
Subject: |
[bug#28925] [PATCH 1/7] gnu: camlp5: install META file. |
Date: |
Sat, 21 Oct 2017 18:20:51 +0200 |
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/")))))))
(home-page "http://camlp5.gforge.inria.fr/")
(synopsis "Pre-processor Pretty Printer for OCaml")
(description
--
2.14.2
- [bug#28925] [PATCH] Update coq and coq libraries., Julien Lepiller, 2017/10/21
- [bug#28925] [PATCH 1/7] gnu: camlp5: install META file.,
julien <=
- [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