1dune-installed-libraries(1)       Dune Manual      dune-installed-libraries(1)
2
3
4

NAME

6       dune-installed-libraries - Print out libraries installed on the system.
7

SYNOPSIS

9       dune installed-libraries [OPTION]...
10

OPTIONS

12       --build-info
13           Show build information.
14
15       -f, --force
16           Force actions associated to aliases to be re-executed even if their
17           dependencies haven't changed.
18
19       --help[=FMT] (default=auto)
20           Show this help in format FMT. The value FMT must be one of `auto',
21           `pager', `groff' or `plain'. With `auto', the format is `pager` or
22           `plain' whenever the TERM env var is `dumb' or undefined.
23
24       --not-available, --na
25           List libraries that are not available and explain why
26
27       --sandbox=VAL (absent DUNE_SANDBOX env)
28           Sandboxing mode to use by default. Some actions require a certain
29           sandboxing mode, so they will ignore this setting. The allowed
30           values are: none, symlink, copy.
31
32       --version
33           Show version information.
34
35       -w, --watch
36           Instead of terminating build after completion, wait continuously
37           for file changes.
38

COMMON OPTIONS

40       --always-show-command-line
41           Always show the full command lines of programs executed by dune
42
43       --auto-promote
44           Automatically promote files. This is similar to running dune
45           promote after the build.
46
47       --build-dir=FILE (absent DUNE_BUILD_DIR env)
48           Specified build directory. _build if unspecified
49
50       --cache=VAL (absent DUNE_CACHE env)
51           Activate binary cache (either `disabled' or `enabled'). Default is
52           `disabled'.
53
54       --cache-check-probability=VAL (absent=0. or
55       DUNE_CACHE_CHECK_PROBABILITY env)
56           Probability cached rules are rerun to check for reproducibility
57
58       --cache-duplication=VAL (absent DUNE_CACHE_DUPLICATION env)
59           Binary cache duplication mode
60
61       --cache-transport=VAL (absent DUNE_CACHE_TRANSPORT env)
62           Binary cache protocol
63
64       --config-file=FILE
65           Load this configuration file instead of the default one.
66
67       --debug-artifact-substitution
68           Print debugging info about artifact substitution
69
70       --debug-backtraces
71           Always print exception backtraces.
72
73       --debug-dependency-path
74           In case of error, print the dependency path from the targets on the
75           command line to the rule that failed.
76
77       --debug-findlib
78           Debug the findlib sub-system.
79
80       --default-target=TARGET (absent=@@default)
81           Set the default target that when none is specified to dune build.
82
83       --diff-command=VAL
84           Shell command to use to diff files. Use - to disable printing the
85           diff.
86
87       --disable-promotion (absent DUNE_DISABLE_PROMOTION env)
88           Disable all promotion rules
89
90       --display=MODE
91           Control the display mode of Dune. See dune-config(5) for more
92           details.
93
94       --ignore-promoted-rules
95           Ignore rules with (mode promote), except ones with (only ...). The
96           variable %{ignoring_promoted_rules} in dune files reflects whether
97           this option was passed or not.
98
99       --instrument-with=BACKENDS (absent DUNE_INSTRUMENT_WITH env)
100           "Enable instrumentation by BACKENDS. BACKENDS is a comma-separated
101           list of library names, each one of which must declare an
102           instrumentation backend.
103
104       -j JOBS
105           Run no more than JOBS commands simultaneously.
106
107       --no-buffer
108           Do not buffer the output of commands executed by dune. By default
109           dune buffers the output of subcommands, in order to prevent
110           interleaving when multiple commands are executed in parallel.
111           However, this can be an issue when debugging long running tests.
112           With --no-buffer, commands have direct access to the terminal. Note
113           that as a result their output won't be captured in the log file.
114           You should use this option in conjunction with -j 1, to avoid
115           interleaving. Additionally you should use --verbose as well, to
116           make sure that commands are printed before they are being executed.
117
118       --no-config
119           Do not load the configuration file
120
121       --no-print-directory
122           Suppress "Entering directory" messages
123
124       --only-packages=PACKAGES
125           Ignore stanzas referring to a package that is not in PACKAGES.
126           PACKAGES is a comma-separated list of package names. Note that this
127           has the same effect as deleting the relevant stanzas from dune
128           files. It is mostly meant for releases. During development, it is
129           likely that what you want instead is to build a particular
130           <package>.install target.
131
132       -p PACKAGES, --for-release-of-packages=PACKAGES
133           Shorthand for --release --only-packages PACKAGE. You must use this
134           option in your <package>.opam files, in order to build only what's
135           necessary when your project contains multiple packages as well as
136           getting reproducible builds.
137
138       --profile=VAL (absent DUNE_PROFILE env)
139           Select the build profile, for instance dev or release. The default
140           is dev.
141
142       --promote-install-files
143           Promote the generated <package>.install files to the source tree
144
145       --release
146           Put dune into a reproducible release mode. This is in fact a
147           shorthand for --root . --ignore-promoted-rules --no-config
148           --profile release --always-show-command-line
149           --promote-install-files --default-target @install. You should use
150           this option for release builds. For instance, you must use this
151           option in your <package>.opam files. Except if you already use -p,
152           as -p implies this option.
153
154       --root=DIR
155           Use this directory as workspace root instead of guessing it. Note
156           that this option doesn't change the interpretation of targets given
157           on the command line. It is only intended for scripts.
158
159       --store-orig-source-dir (absent DUNE_STORE_ORIG_SOURCE_DIR env)
160           Store original source location in dune-package metadata
161
162       --terminal-persistence=MODE
163            Changes how the log of build results are displayed to the console
164           between rebuilds while in --watch mode.
165
166       --trace-file=FILE
167           Output trace data in catapult format (compatible with
168           chrome://tracing)
169
170       --verbose
171           Same as --display verbose
172
173       --workspace=FILE (absent DUNE_WORKSPACE env)
174           Use this specific workspace file instead of looking it up.
175
176       -x VAL
177           Cross-compile using this toolchain.
178

ENVIRONMENT

180       These environment variables affect the execution of
181       installed-libraries:
182
183       DUNE_BUILD_DIR
184           Specified build directory. _build if unspecified
185
186       DUNE_CACHE
187           Activate binary cache (either `disabled' or `enabled'). Default is
188           `disabled'.
189
190       DUNE_CACHE_CHECK_PROBABILITY
191           Probability cached rules are rerun to check for reproducibility
192
193       DUNE_CACHE_DUPLICATION
194           Binary cache duplication mode
195
196       DUNE_CACHE_TRANSPORT
197           Binary cache protocol
198
199       DUNE_DISABLE_PROMOTION
200           Disable all promotion rules
201
202       DUNE_INSTRUMENT_WITH
203           "Enable instrumentation by BACKENDS. BACKENDS is a comma-separated
204           list of library names, each one of which must declare an
205           instrumentation backend.
206
207       DUNE_PROFILE
208           Build profile. dev if unspecified or release if -p is set.
209
210       DUNE_SANDBOX
211           Sandboxing mode to use by default. (see --sandbox)
212
213       DUNE_STORE_ORIG_SOURCE_DIR
214           Store original source location in dune-package metadata
215
216       DUNE_WORKSPACE
217           Use this specific workspace file instead of looking it up.
218
219
220
221Dune n/a                                           dune-installed-libraries(1)
Impressum