aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2020-12-08 15:03:47 +0100
committerJulien Lepiller <julien@lepiller.eu>2020-12-08 16:53:07 +0100
commitccc4d287b7bd2a3ddea7b7f2c1ea2a722e68115c (patch)
treeeae73548e3f438c6ea3af85c13564c561ce5d28c /doc
parenta8dccd4bdc1e58219d4ba08fe1649bf0b8325f44 (diff)
downloadguix-ccc4d287b7bd2a3ddea7b7f2c1ea2a722e68115c.tar
guix-ccc4d287b7bd2a3ddea7b7f2c1ea2a722e68115c.tar.gz
guix: opam: Add coq support in the importer.
* guix/import/opam.scm (get-opam-repository): Add support for coq repositories. (ocaml-name->guix-name): Properly name coq package. * doc/guix.texi (Invoking guix import): Document it.
Diffstat (limited to 'doc')
-rw-r--r--doc/guix.texi19
1 files changed, 19 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi
index 0e647a284c..7960143723 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -11291,6 +11291,25 @@ in Guix.
@cindex OCaml
Import metadata from the @uref{https://opam.ocaml.org/, OPAM} package
repository used by the OCaml community.
+
+Additional options include:
+
+@table @code
+@item --recursive
+@itemx -r
+Traverse the dependency graph of the given upstream package recursively
+and generate package expressions for all those packages that are not yet
+in Guix.
+@item --repo
+Select the given repository (a repository name). Possible values include:
+@itemize
+@item @code{opam}, the default opam repository,
+@item @code{coq} or @code{coq-released}, the stable repository for coq packages,
+@item @code{coq-core-dev}, the repository that contains development versions of coq,
+@item @code{coq-extra-dev}, the repository that contains development versions
+ of coq packages.
+@end itemize
+@end table
@end table
The structure of the @command{guix import} code is modular. It would be