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 (required)
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[=VAL] (default=true)
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. Supported modes: preserve,
165           clear-on-rebuild.
166
167       --trace-file=FILE
168           Output trace data in catapult format (compatible with
169           chrome://tracing)
170
171       --verbose
172           Same as --display verbose
173
174       --workspace=FILE (absent DUNE_WORKSPACE env)
175           Use this specific workspace file instead of looking it up.
176
177       -x VAL
178           Cross-compile using this toolchain.
179

ENVIRONMENT

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