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

ENVIRONMENT

172       These environment variables affect the execution of
173       installed-libraries:
174
175       DUNE_BUILD_DIR
176           Specified build directory. _build if unspecified
177
178       DUNE_CACHE
179           Activate binary cache (either `disabled' or `enabled'). Default is
180           `disabled'.
181
182       DUNE_CACHE_CHECK_PROBABILITY
183           Probability cached rules are rerun to check for reproducibility
184
185       DUNE_CACHE_DUPLICATION
186           Binary cache duplication mode
187
188       DUNE_CACHE_TRANSPORT
189           Binary cache protocol
190
191       DUNE_DISABLE_PROMOTION
192           Disable all promotion rules
193
194       DUNE_PROFILE
195           Build profile. dev if unspecified or release if -p is set.
196
197       DUNE_SANDBOX
198           Sandboxing mode to use by default. (see --sandbox)
199
200       DUNE_STORE_ORIG_SOURCE_DIR
201           Store original source location in dune-package metadata
202
203       DUNE_WORKSPACE
204           Use this specific workspace file instead of looking it up.
205
206
207
208Dune n/a                                           dune-installed-libraries(1)
Impressum