gnu: coq: Add search-paths for coq libraries.

* gnu/packages/ocaml.scm (coq)[native-search-paths]: New field.
2017-06-01 17:52:12 +02:00 · 2017-06-01 17:52:12 +02:00 · 50cbbc9bd4
parent 61bafd4477
commit 50cbbc9bd4
1 changed files with 4 additions and 0 deletions
--- 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)