1DUNE-INSTALLED-LIBRARIES(1) Dune Manual DUNE-INSTALLED-LIBRARIES(1)
2
6 dune-installed-libraries - Print out libraries installed on the system.
7
9 dune installed-libraries [OPTION]...
10
12 --build-info
13 Show build information.
14 -f, --force
16 Force actions associated to aliases to be re-executed even if their
17 dependencies haven't changed.
18 --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 --not-available, --na
25 List libraries that are not available and explain why
26 --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 --version
33 Show version information.
34 -w, --watch
36 Instead of terminating build after completion, wait continuously
37 for file changes.
38
40 --always-show-command-line
41 Always show the full command lines of programs executed by dune
42 --auto-promote
44 Automatically promote files. This is similar to running dune
45 promote after the build.
46 --build-dir=FILE (absent DUNE_BUILD_DIR env)
48 Specified build directory. _build if unspecified
49 --cache=VAL (absent DUNE_CACHE env)
51 Activate binary cache (either `disabled' or `enabled'). Default is
52 `disabled'.
53 --cache-check-probability=VAL (absent=0. or
55 DUNE_CACHE_CHECK_PROBABILITY env)
56 Probability cached rules are rerun to check for reproducibility
57 --cache-duplication=VAL (absent DUNE_CACHE_DUPLICATION env)
59 Binary cache duplication mode
60 --cache-transport=VAL (absent DUNE_CACHE_TRANSPORT env)
62 Binary cache protocol
63 --config-file=FILE
65 Load this configuration file instead of the default one.
66 --debug-artifact-substitution
68 Print debugging info about artifact substitution
69 --debug-backtraces
71 Always print exception backtraces.
72 --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 --debug-findlib
78 Debug the findlib sub-system.
79 --default-target=TARGET (absent=@@default)
81 Set the default target that when none is specified to dune build.
82 --diff-command=VAL
84 Shell command to use to diff files. Use - to disable printing the
85 diff.
86 --disable-promotion (absent DUNE_DISABLE_PROMOTION env)
88 Disable all promotion rules
89 --display=MODE
91 Control the display mode of Dune. See dune-config(5) for more
92 details.
93 --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 --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 -j JOBS
105 Run no more than JOBS commands simultaneously.
106 --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 --no-config
119 Do not load the configuration file
120 --no-print-directory
122 Suppress "Entering directory" messages
123 --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 -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 --profile=VAL (absent DUNE_PROFILE env)
139 Select the build profile, for instance dev or release. The default
140 is dev.
141 --promote-install-files[=VAL] (default=true)
143 Promote the generated <package>.install files to the source tree
144 --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 --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 --store-orig-source-dir (absent DUNE_STORE_ORIG_SOURCE_DIR env)
160 Store original source location in dune-package metadata
161 --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 --trace-file=FILE
168 Output trace data in catapult format (compatible with
169 chrome://tracing)
170 --verbose
172 Same as --display verbose
173 --workspace=FILE (absent DUNE_WORKSPACE env)
175 Use this specific workspace file instead of looking it up.
176 -x VAL
178 Cross-compile using this toolchain.
179
181 These environment variables affect the execution of
182 installed-libraries:
183 DUNE_BUILD_DIR
185 Specified build directory. _build if unspecified
186 DUNE_CACHE
188 Activate binary cache (either `disabled' or `enabled'). Default is
189 `disabled'.
190 DUNE_CACHE_CHECK_PROBABILITY
192 Probability cached rules are rerun to check for reproducibility
193 DUNE_CACHE_DUPLICATION
195 Binary cache duplication mode
196 DUNE_CACHE_TRANSPORT
198 Binary cache protocol
199 DUNE_DISABLE_PROMOTION
201 Disable all promotion rules
202 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 DUNE_PROFILE
209 Build profile. dev if unspecified or release if -p is set.
210 DUNE_SANDBOX
212 Sandboxing mode to use by default. (see --sandbox)
213 DUNE_STORE_ORIG_SOURCE_DIR
215 Store original source location in dune-package metadata
216 DUNE_WORKSPACE
218 Use this specific workspace file instead of looking it up.
219Dune n/a DUNE-INSTALLED-LIBRARIES(1)