matthieu
/
dune
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix documentation about library dependencies

This commit is contained in:
Jeremie Dimino 2017-08-08 13:56:28 +01:00
parent 267ea46c4d
commit b913a42739
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
doc/jbuild.rst
View File

@ -656,10 +656,11 @@ Library dependencies
Dependencies on libraries are specified using ``(libraries ...)`` fields in
``library`` and ``executables`` stanzas.
For libraries that are present in the workspace, you can use either the real
name (with some restrictions, see below) or the public name. For libraries that
are part of the installed world, you need to use the public name. For instance:
``(libraries (base re))``.
For libraries defined in the current scope, you can use either the
real name or the public name. For libraries that are part of the
installed world, or for libraries that are part of the current
workspace but in another scope, you need to use the public name. For
instance: ``(libraries (base re))``.
When resolving libraries, libraries that are part of the workspace are always
prefered to ones that are part of the installed world.