* bug#27195: Add search-paths for coq libraries
@ 2017-06-02 8:11 julien lepiller
2017-06-02 15:55 ` Ludovic Courtès
0 siblings, 1 reply; 2+ messages in thread
From: julien lepiller @ 2017-06-02 8:11 UTC (permalink / raw)
To: 27195
[-- Attachment #1: Type: text/plain, Size: 101 bytes --]
Hi, here is a patch to set COQPATH, the environment variable used by coq
to find external libraries.
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: 0001-gnu-coq-Add-search-paths-for-coq-libraries.patch --]
[-- Type: text/x-diff; name=0001-gnu-coq-Add-search-paths-for-coq-libraries.patch, Size: 937 bytes --]
From 7486a169bdfa0d4c5f287405b6d5fccf9dbcd1fa Mon Sep 17 00:00:00 2001
From: Julien Lepiller <julien@lepiller.eu>
Date: Thu, 1 Jun 2017 17:52:12 +0200
Subject: [PATCH] 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 863e367a5..a3475e2b9 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" "lib/coq/user-contrib")))))
(build-system gnu-build-system)
(native-inputs
`(("texlive" ,texlive)
--
2.13.0
^ permalink raw reply related [flat|nested] 2+ messages in thread
* bug#27195: Add search-paths for coq libraries
2017-06-02 8:11 bug#27195: Add search-paths for coq libraries julien lepiller
@ 2017-06-02 15:55 ` Ludovic Courtès
0 siblings, 0 replies; 2+ messages in thread
From: Ludovic Courtès @ 2017-06-02 15:55 UTC (permalink / raw)
To: julien lepiller; +Cc: 27195
julien lepiller <julien@lepiller.eu> skribis:
> From 7486a169bdfa0d4c5f287405b6d5fccf9dbcd1fa Mon Sep 17 00:00:00 2001
> From: Julien Lepiller <julien@lepiller.eu>
> Date: Thu, 1 Jun 2017 17:52:12 +0200
> Subject: [PATCH] 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 863e367a5..a3475e2b9 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" "lib/coq/user-contrib")))))
Is “lib/coq/user-contrib” a widespread convention? Looks unusual.
Apart from that LGTM, thanks!
Ludo’.
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2017-06-02 15:56 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2017-06-02 8:11 bug#27195: Add search-paths for coq libraries julien lepiller
2017-06-02 15:55 ` Ludovic Courtès
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.