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-backtraces
68 Always print exception backtraces.
69 --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 --debug-findlib
75 Debug the findlib sub-system.
76 --default-target=TARGET (absent=@@default)
78 Set the default target that when none is specified to dune build.
79 --diff-command=VAL
81 Shell command to use to diff files. Use - to disable printing the
82 diff.
83 --disable-promotion (absent DUNE_DISABLE_PROMOTION env)
85 Disable all promotion rules
86 --display=MODE
88 Control the display mode of Dune. See dune-config(5) for more
89 details.
90 --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 -j JOBS
97 Run no more than JOBS commands simultaneously.
98 --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 --no-config
111 Do not load the configuration file
112 --no-print-directory
114 Suppress "Entering directory" messages
115 --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 -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 --profile=VAL (absent DUNE_PROFILE env)
131 Select the build profile, for instance dev or release. The default
132 is dev.
133 --promote-install-files
135 Promote the generated <package>.install files to the source tree
136 --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 --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 --store-orig-source-dir (absent DUNE_STORE_ORIG_SOURCE_DIR env)
152 Store original source location in dune-package metadata
153 --terminal-persistence=MODE
155 Changes how the log of build results are displayed to the console
156 between rebuilds while in --watch mode.
157 --trace-file=FILE
159 Output trace data in catapult format (compatible with
160 chrome://tracing)
161 --verbose
163 Same as --display verbose
164 --workspace=FILE (absent DUNE_WORKSPACE env)
166 Use this specific workspace file instead of looking it up.
167 -x VAL
169 Cross-compile using this toolchain.
170
172 These environment variables affect the execution of
173 installed-libraries:
174 DUNE_BUILD_DIR
176 Specified build directory. _build if unspecified
177 DUNE_CACHE
179 Activate binary cache (either `disabled' or `enabled'). Default is
180 `disabled'.
181 DUNE_CACHE_CHECK_PROBABILITY
183 Probability cached rules are rerun to check for reproducibility
184 DUNE_CACHE_DUPLICATION
186 Binary cache duplication mode
187 DUNE_CACHE_TRANSPORT
189 Binary cache protocol
190 DUNE_DISABLE_PROMOTION
192 Disable all promotion rules
193 DUNE_PROFILE
195 Build profile. dev if unspecified or release if -p is set.
196 DUNE_SANDBOX
198 Sandboxing mode to use by default. (see --sandbox)
199 DUNE_STORE_ORIG_SOURCE_DIR
201 Store original source location in dune-package metadata
202 DUNE_WORKSPACE
204 Use this specific workspace file instead of looking it up.
205Dune n/a dune-installed-libraries(1)