[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
01/07: gnu: camlp5: install META file.
From: |
julien lepiller |
Subject: |
01/07: gnu: camlp5: install META file. |
Date: |
Sun, 22 Oct 2017 04:23:33 -0400 (EDT) |
roptat pushed a commit to branch master
in repository guix.
commit 07b4cd3a48022a472c90ec46f2e8b08d9cc8fc3e
Author: Julien Lepiller <address@hidden>
Date: Sat Oct 21 15:54:04 2017 +0200
gnu: camlp5: install META file.
* 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 aa2f006..40d42a5 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
- branch master updated (3d679ab -> 6efc999), julien lepiller, 2017/10/22
- 02/07: gnu: Update coq to 8.7.0., julien lepiller, 2017/10/22
- 04/07: gnu: Update coq-mathcomp to 1.6.2., julien lepiller, 2017/10/22
- 01/07: gnu: camlp5: install META file.,
julien lepiller <=
- 03/07: gnu: Update coq-flocq to 2.6.0., julien lepiller, 2017/10/22
- 05/07: gnu: Update coq-coquelicot to 3.0.1., julien lepiller, 2017/10/22
- 07/07: gnu: Update coq-interval to 3.3.0., julien lepiller, 2017/10/22
- 06/07: gnu: Add coq-bignums., julien lepiller, 2017/10/22