1DUNE-UNINSTALL(1) Dune Manual DUNE-UNINSTALL(1)
2
6 dune-uninstall - Uninstall packages.
7
9 The installation directories used are defined by priority:
10 - directories set on the command line of dune install, or corresponding
11 environment variables
12 - directories set in dune binary. They are setup before the compilation
13 of dune with ./configure
14 - inferred from the environment variable OPAM_SWITCH_PREFIX if present
15
17 --action-stderr-on-success=VAL
18 Same as --action-stdout-on-success but for the standard output for
19 error messages. A good default for large mono-repositories is
20 --action-stdout-on-success=swallow
21 --action-stderr-on-success=must-be-empty. This ensures that a
22 successful build has a "clean" empty output.
23 --action-stdout-on-success=VAL
25 Specify how to deal with the standard output of actions when they
26 succeed. Possible values are: print to just print it to Dune's
27 output, swallow to completely ignore it and must-be-empty to
28 enforce that the action printed nothing. With must-be-empty, Dune
29 will consider that the action failed if it printed something to its
30 standard output. The default is print.
31 --bindir=PATH
33 Manually override the directory to install public binaries. Only
34 absolute path accepted.
35 --build-info
37 Show build information.
38 --context=CONTEXT
40 Select context to install from. By default, install files from all
41 defined contexts.
42 --create-install-files
44 Do not directly install, but create install files in the root
45 directory and create substituted files if needed in destdir
46 (_destdir by default).
47 --datadir=PATH
49 Manually override the directory to install files from share
50 section. Only absolute path accepted.
51 --destdir=PATH (absent DESTDIR env)
53 This directory is prepended to all installed paths.
54 --docdir=PATH
56 Manually override the directory to install documentation files.
57 Only absolute path accepted.
58 --dry-run
60 Only display the file operations that would be performed.
61 --error-reporting=VAL (absent=deterministic)
63 Controls when the build errors are reported. early - report errors
64 as soon as they are discovered. deterministic - report errors at
65 the end of the build in a deterministic order. twice - report each
66 error twice: once as soon as the error is discovered and then again
67 at the end of the build, in a deterministic order.
68 --etcdir=PATH
70 Manually override the directory to install configuration files.
71 Only absolute path accepted.
72 -f, --force
74 Force actions associated to aliases to be re-executed even if their
75 dependencies haven't changed.
76 --file-watcher=VAL (absent=automatic)
78 Mechanism to detect changes in the source. Automatic to make dune
79 run an external program to detect changes. Manual to notify dune
80 that files have changed manually."
81 --libdir=PATH
83 Directory where library files are copied, relative to prefix or
84 absolute. If --prefix is specified the default is $prefix/lib. Only
85 absolute path accepted.
86 --libexecdir=PATH
88 Manually override the directory to install executable library
89 files. Only absolute path accepted.
90 --mandir=PATH
92 Manually override the directory to install man pages. Only absolute
93 path accepted.
94 --passive-watch-mode
96 Similar to [--watch], but only start a build when instructed
97 externally by an RPC.
98 --prefix=PREFIX (absent DUNE_INSTALL_PREFIX env)
100 Directory where files are copied. For instance binaries are copied
101 into $prefix/bin, library files into $prefix/lib, etc...
102 --react-to-insignificant-changes
104 react to insignificant file system changes; this is only useful for
105 benchmarking dune
106 --relocatable
108 Make the binaries relocatable (the installation directory can be
109 moved). The installation directory must be specified with --prefix
110 --sandbox=VAL (absent DUNE_SANDBOX env)
112 Sandboxing mode to use by default. Some actions require a certain
113 sandboxing mode, so they will ignore this setting. The allowed
114 values are: none, symlink, copy, hardlink.
115 --sbindir=PATH
117 Manually override the directory to install files from sbin section.
118 Only absolute path accepted.
119 --sections=VAL
121 sections that should be installed
122 -w, --watch
124 Instead of terminating build after completion, wait continuously
125 for file changes.
126 --wait-for-filesystem-clock
128 Dune digest file contents for better incrementally. These digests
129 are themselves cached. In some cases, Dune needs to drop some
130 digest cache entries in order for things to be reliable. This
131 option makes Dune wait for the file system clock to advance so that
132 it doesn't need to drop anything. You should probably not care
133 about this option; it is mostly useful for Dune developers to make
134 Dune tests of the digest cache more reproducible.
135
137 These options are common to all commands.
138 --always-show-command-line
140 Always show the full command lines of programs executed by dune
141 --auto-promote
143 Automatically promote files. This is similar to running dune
144 promote after the build.
145 --build-dir=FILE (absent DUNE_BUILD_DIR env)
147 Specified build directory. _build if unspecified
148 --cache=VAL (absent DUNE_CACHE env)
150 Enable or disable Dune cache (either enabled or disabled). Default
151 is `disabled'.
152 --cache-check-probability=VAL (absent DUNE_CACHE_CHECK_PROBABILITY env)
154 Check build reproducibility by re-executing randomly chosen rules
155 and comparing their results with those stored in Dune cache. Note:
156 by increasing the probability of such checks you slow down the
157 build. The default probability is zero, i.e. no rules are checked.
158 --cache-storage-mode=VAL (absent DUNE_CACHE_STORAGE_MODE env)
160 Dune cache storage mode (one of auto, hardlink or copy). Default is
161 `auto'.
162 --config-file=FILE
164 Load this configuration file instead of the default one.
165 --debug-artifact-substitution
167 Print debugging info about artifact substitution
168 --debug-backtraces
170 Always print exception backtraces.
171 --debug-cache=VAL
173 Show debug messages on cache misses for the given cache layers.
174 Value is a comma-separated list of cache layer names. All available
175 cache layers: shared,workspace-local,fs.
176 --debug-dependency-path
178 In case of error, print the dependency path from the targets on the
179 command line to the rule that failed.
180 --debug-digests
182 Explain why Dune decides to re-digest some files
183 --debug-load-dir
185 Print debugging info about directory loading
186 --debug-store-digest-preimage
188 Store digest preimage for all computed digests, so that it's
189 possible to reverse them later, for debugging. The digests are
190 stored in the shared cache (see --cache flag) as values, even if
191 cache is otherwise disabled. This should be used only for
192 debugging, since it's slow and it litters the shared cache.
193 --default-target=TARGET (absent=@@default)
195 Set the default target that when none is specified to dune build.
196 --diff-command=VAL (absent DUNE_DIFF_COMMAND env)
198 Shell command to use to diff files. Use - to disable printing the
199 diff.
200 --disable-promotion (absent DUNE_DISABLE_PROMOTION env)
202 Disable all promotion rules
203 --display=MODE
205 Control the display mode of Dune. See dune-config(5) for more
206 details. Valid values for this option are One of progress, verbose,
207 short or quiet
208 --dump-memo-graph=FILE
210 Dumps the dependency graph to a file after the build is complete
211 --dump-memo-graph-format=FORMAT (absent=gexf)
213 File format to be used when dumping dependency graph
214 --dump-memo-graph-with-timing
216 With --dump-memo-graph, will re-run each cached node in the Memo
217 graph after building and include the runtime in the output. Since
218 all nodes contain a cached value, this will measure just the
219 runtime of each node
220 --help[=FMT] (default=auto)
222 Show this help in format FMT. The value FMT must be one of auto,
223 pager, groff or plain. With auto, the format is pager or plain
224 whenever the TERM env var is dumb or undefined.
225 --ignore-promoted-rules
227 Ignore rules with (mode promote), except ones with (only ...). The
228 variable %{ignoring_promoted_rules} in dune files reflects whether
229 this option was passed or not.
230 --instrument-with=BACKENDS (absent DUNE_INSTRUMENT_WITH env)
232 "Enable instrumentation by BACKENDS. BACKENDS is a comma-separated
233 list of library names, each one of which must declare an
234 instrumentation backend.
235 -j JOBS
237 Run no more than JOBS commands simultaneously.
238 --no-buffer
240 Do not buffer the output of commands executed by dune. By default
241 dune buffers the output of subcommands, in order to prevent
242 interleaving when multiple commands are executed in parallel.
243 However, this can be an issue when debugging long running tests.
244 With --no-buffer, commands have direct access to the terminal. Note
245 that as a result their output won't be captured in the log file.
246 You should use this option in conjunction with -j 1, to avoid
247 interleaving. Additionally you should use --verbose as well, to
248 make sure that commands are printed before they are being executed.
249 --no-config
251 Do not load the configuration file
252 --no-print-directory
254 Suppress "Entering directory" messages
255 --only-packages=PACKAGES
257 Ignore stanzas referring to a package that is not in PACKAGES.
258 PACKAGES is a comma-separated list of package names. Note that this
259 has the same effect as deleting the relevant stanzas from dune
260 files. It is mostly meant for releases. During development, it is
261 likely that what you want instead is to build a particular
262 <package>.install target.
263 -p PACKAGES, --for-release-of-packages=PACKAGES (required)
265 Shorthand for --release --only-packages PACKAGE. You must use this
266 option in your <package>.opam files, in order to build only what's
267 necessary when your project contains multiple packages as well as
268 getting reproducible builds.
269 --print-metrics
271 Print out various performance metrics after every build
272 --profile=VAL (absent DUNE_PROFILE env)
274 Select the build profile, for instance dev or release. The default
275 is dev.
276 --promote-install-files[=VAL] (default=true)
278 Promote the generated <package>.install files to the source tree
279 --release
281 Put dune into a reproducible release mode. This is in fact a
282 shorthand for --root . --ignore-promoted-rules --no-config
283 --profile release --always-show-command-line
284 --promote-install-files --default-target @install
285 --require-dune-project-file. You should use this option for release
286 builds. For instance, you must use this option in your
287 <package>.opam files. Except if you already use -p, as -p implies
288 this option.
289 --require-dune-project-file[=VAL] (default=true)
291 Fail if a dune-project file is missing.
292 --root=DIR
294 Use this directory as workspace root instead of guessing it. Note
295 that this option doesn't change the interpretation of targets given
296 on the command line. It is only intended for scripts.
297 --store-orig-source-dir (absent DUNE_STORE_ORIG_SOURCE_DIR env)
299 Store original source location in dune-package metadata
300 --terminal-persistence=MODE
302 Changes how the log of build results are displayed to the console
303 between rebuilds while in --watch mode. Supported modes: preserve,
304 clear-on-rebuild, clear-on-rebuild-and-flush-history.
305 --trace-file=FILE
307 Output trace data in catapult format (compatible with
308 chrome://tracing)
309 --verbose
311 Same as --display verbose
312 --version
314 Show version information.
315 --workspace=FILE (absent DUNE_WORKSPACE env)
317 Use this specific workspace file instead of looking it up.
318 -x VAL
320 Cross-compile using this toolchain.
321
323 Use `dune COMMAND --help' for help on a single command.
324
326 uninstall exits with the following status:
327 0 on success.
329 123 on indiscriminate errors reported on standard error.
331 124 on command line parsing errors.
333 125 on unexpected internal errors (bugs).
335
337 These environment variables affect the execution of uninstall:
338 DESTDIR
340 See option --destdir.
341 DUNE_BUILD_DIR
343 Specified build directory. _build if unspecified
344 DUNE_CACHE
346 Enable or disable Dune cache (either enabled or disabled). Default
347 is `disabled'.
348 DUNE_CACHE_CHECK_PROBABILITY
350 Check build reproducibility by re-executing randomly chosen rules
351 and comparing their results with those stored in Dune cache. Note:
352 by increasing the probability of such checks you slow down the
353 build. The default probability is zero, i.e. no rules are checked.
354 DUNE_CACHE_STORAGE_MODE
356 Dune cache storage mode (one of auto, hardlink or copy). Default is
357 `auto'.
358 DUNE_DIFF_COMMAND
360 Shell command to use to diff files. Use - to disable printing the
361 diff.
362 DUNE_DISABLE_PROMOTION
364 Disable all promotion rules
365 DUNE_INSTALL_PREFIX
367 See option --prefix.
368 DUNE_INSTRUMENT_WITH
370 "Enable instrumentation by BACKENDS. BACKENDS is a comma-separated
371 list of library names, each one of which must declare an
372 instrumentation backend.
373 DUNE_PROFILE
375 Build profile. dev if unspecified or release if -p is set.
376 DUNE_SANDBOX
378 Sandboxing mode to use by default. (see --sandbox)
379 DUNE_STORE_ORIG_SOURCE_DIR
381 Store original source location in dune-package metadata
382 DUNE_WORKSPACE
384 Use this specific workspace file instead of looking it up.
385
387 Check bug reports at https://github.com/ocaml/dune/issues
388
390 dune(1)
391Dune n/a DUNE-UNINSTALL(1)