coqPackages: update documentation to mention coq.ocamlPackages attribute

This commit is contained in:
Théo Zimmermann 2018-10-19 10:29:49 +02:00
parent 8c399bd6c1
commit 668c19a9ac
No known key found for this signature in database
GPG key ID: F1744A0942F536C7

View file

@ -11,10 +11,9 @@
</para> </para>
<para> <para>
Some libraries require OCaml and sometimes also Camlp5 or findlib. The exact Some extensions (plugins) might require OCaml and sometimes other OCaml
versions that were used to build Coq are saved in the packages. The <literal>coq.ocamlPackages</literal> attribute can be used
<literal>coq.ocaml</literal> and <literal>coq.camlp5</literal> and to depend on the same package set Coq was built against.
<literal>coq.findlib</literal> attributes.
</para> </para>
<para> <para>