diff options
| author | Théo Zimmermann | 2018-10-03 10:54:42 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-10-03 10:54:42 +0200 |
| commit | bfd62ca575e376334575ccbaa162c6de711589c7 (patch) | |
| tree | 7f5ac7104f849b453efcb00436f02a6c99186ab3 | |
| parent | b4eef9c0825b8aefa2fb203e88e8202575064256 (diff) | |
| parent | be640372098d01e8c99b60bdc648ec806b8a4b2c (diff) | |
Merge PR #8629: [doc] Nits on utilities / toplevel building.
| -rw-r--r-- | doc/sphinx/practical-tools/utilities.rst | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/sphinx/practical-tools/utilities.rst b/doc/sphinx/practical-tools/utilities.rst index 5d300c3d6d..19995520bb 100644 --- a/doc/sphinx/practical-tools/utilities.rst +++ b/doc/sphinx/practical-tools/utilities.rst @@ -21,16 +21,16 @@ The most basic custom toplevel is built using: % ocamlfind ocamlopt -thread -rectypes -linkall -linkpkg \ -package coq.toplevel \ - toplevel/coqtop\_bin.ml -o my\_toplevel.native + topbin/coqtop_bin.ml -o my_toplevel.native -For example, to statically link |L_tac|, you can just do: +For example, to statically link |Ltac|, you can just do: :: % ocamlfind ocamlopt -thread -rectypes -linkall -linkpkg \ - -package coq.toplevel -package coq.ltac \ - toplevel/coqtop\_bin.ml -o my\_toplevel.native + -package coq.toplevel,coq.plugins.ltac \ + topbin/coqtop_bin.ml -o my_toplevel.native and similarly for other plugins. |