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
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
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.
165 --trace-file=FILE
167 Output trace data in catapult format (compatible with
168 chrome://tracing)
169 --verbose
171 Same as --display verbose
172 --workspace=FILE (absent DUNE_WORKSPACE env)
174 Use this specific workspace file instead of looking it up.
175 -x VAL
177 Cross-compile using this toolchain.
178
180 These environment variables affect the execution of
181 installed-libraries:
182 DUNE_BUILD_DIR
184 Specified build directory. _build if unspecified
185 DUNE_CACHE
187 Activate binary cache (either `disabled' or `enabled'). Default is
188 `disabled'.
189 DUNE_CACHE_CHECK_PROBABILITY
191 Probability cached rules are rerun to check for reproducibility
192 DUNE_CACHE_DUPLICATION
194 Binary cache duplication mode
195 DUNE_CACHE_TRANSPORT
197 Binary cache protocol
198 DUNE_DISABLE_PROMOTION
200 Disable all promotion rules
201 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 DUNE_PROFILE
208 Build profile. dev if unspecified or release if -p is set.
209 DUNE_SANDBOX
211 Sandboxing mode to use by default. (see --sandbox)
212 DUNE_STORE_ORIG_SOURCE_DIR
214 Store original source location in dune-package metadata
215 DUNE_WORKSPACE
217 Use this specific workspace file instead of looking it up.
218Dune n/a dune-installed-libraries(1)