[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
11/11: gnu: coq: Add search-paths for coq libraries.
From: |
julien lepiller |
Subject: |
11/11: gnu: coq: Add search-paths for coq libraries. |
Date: |
Tue, 6 Jun 2017 15:10:01 -0400 (EDT) |
roptat pushed a commit to branch master
in repository guix.
commit 50cbbc9bd439c0db1cce6ba6d6a49de1d1f3bacd
Author: Julien Lepiller <address@hidden>
Date: Thu Jun 1 17:52:12 2017 +0200
gnu: coq: Add search-paths for coq libraries.
* gnu/packages/ocaml.scm (coq)[native-search-paths]: New field.
---
gnu/packages/ocaml.scm | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index e205138..6861901 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -448,6 +448,10 @@ written in Objective Caml.")
(sha256
(base32
"0wyywia0darak2zmc5v0ra9rn0b9whwdfiahralm8v5za499s8w3"))))
+ (native-search-paths
+ (list (search-path-specification
+ (variable "COQPATH")
+ (files (list "lib/coq/user-contrib")))))
(build-system gnu-build-system)
(native-inputs
`(("texlive" ,texlive)
- branch master updated (de31088 -> 50cbbc9), julien lepiller, 2017/06/06
- 03/11: gnu: Add ocaml-async-rpc-kernel., julien lepiller, 2017/06/06
- 02/11: gnu: Add ocaml-async-kernel., julien lepiller, 2017/06/06
- 09/11: gnu: Add ocaml-cstruct., julien lepiller, 2017/06/06
- 01/11: gnu: Add ocaml-core-kernel., julien lepiller, 2017/06/06
- 05/11: gnu: Add ocaml-async-unix., julien lepiller, 2017/06/06
- 07/11: gnu: Add ocaml-async., julien lepiller, 2017/06/06
- 11/11: gnu: coq: Add search-paths for coq libraries.,
julien lepiller <=
- 06/11: gnu: Add ocaml-async-extra., julien lepiller, 2017/06/06
- 04/11: gnu: Add ocaml-core., julien lepiller, 2017/06/06
- 10/11: gnu: Add ocaml-hex., julien lepiller, 2017/06/06
- 08/11: gnu: Add ocaml-ocplib-endian., julien lepiller, 2017/06/06