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 --version
28 Show version information.
29 -w, --watch
31 Instead of terminating build after completion, wait continuously
32 for file changes.
33
35 --always-show-command-line
36 Always show the full command lines of programs executed by dune
37 --auto-promote
39 Automatically promote files. This is similar to running dune
40 promote after the build.
41 --build-dir=FILE (absent DUNE_BUILD_DIR env)
43 Specified build directory. _build if unspecified
44 --config-file=FILE
46 Load this configuration file instead of the default one.
47 --debug-backtraces
49 Always print exception backtraces.
50 --debug-dependency-path
52 In case of error, print the dependency path from the targets on the
53 command line to the rule that failed.
54 --debug-findlib
56 Debug the findlib sub-system.
57 --default-target=TARGET (absent=@@default)
59 Set the default target that when none is specified to dune build.
60 --dev
62 Same as --profile dev
63 --diff-command=VAL
65 Shell command to use to diff files. Use - to disable printing the
66 diff.
67 --display=MODE
69 Control the display mode of Dune. See dune-config(5) for more
70 details.
71 --ignore-promoted-rules
73 Ignore rules with (mode promote), except ones with (only ...). The
74 variable %{ignoring_promoted_rules} in dune files reflects whether
75 this option was passed or not.
76 -j JOBS
78 Run no more than JOBS commands simultaneously.
79 --no-buffer
81 Do not buffer the output of commands executed by dune. By default
82 dune buffers the output of subcommands, in order to prevent
83 interleaving when multiple commands are executed in parallel.
84 However, this can be an issue when debugging long running tests.
85 With --no-buffer, commands have direct access to the terminal. Note
86 that as a result their output won't be captured in the log file.
87 You should use this option in conjunction with -j 1, to avoid
88 interleaving. Additionally you should use --verbose as well, to
89 make sure that commands are printed before they are being executed.
90 --no-config
92 Do not load the configuration file
93 --no-print-directory
95 Suppress "Entering directory" messages
96 --only-packages=PACKAGES
98 Ignore stanzas referring to a package that is not in PACKAGES.
99 PACKAGES is a comma-separated list of package names. Note that this
100 has the same effect as deleting the relevant stanzas from jbuild
101 files. It is mostly meant for releases. During development, it is
102 likely that what you want instead is to build a particular
103 <package>.install target.
104 -p PACKAGES, --for-release-of-packages=PACKAGES
106 Shorthand for --root . --only-packages PACKAGE
107 --ignore-promoted-rules --no-config --profile release. You must use
108 this option in your <package>.opam files, in order to build only
109 what's necessary when your project contains multiple packages as
110 well as getting reproducible builds.
111 --profile=VAL (absent DUNE_PROFILE env)
113 Select the build profile, for instance dev or release. The default
114 is dev.
115 --root=DIR
117 Use this directory as workspace root instead of guessing it. Note
118 that this option doesn't change the interpretation of targets given
119 on the command line. It is only intended for scripts.
120 --store-orig-source-dir (absent DUNE_STORE_ORIG_SOURCE_DIR env)
122 Store original source location in dune-package metadata
123 --trace-file=FILE
125 Output trace data in catapult format (compatible with
126 chrome://tracing)
127 --verbose
129 Same as --display verbose
130 --workspace=FILE (absent DUNE_WORKSPACE env)
132 Use this specific workspace file instead of looking it up.
133 -x VAL
135 Cross-compile using this toolchain.
136
138 These environment variables affect the execution of
139 installed-libraries:
140 DUNE_BUILD_DIR
142 Specified build directory. _build if unspecified
143 DUNE_PROFILE
145 Build profile. dev if unspecified or release if -p is set.
146 DUNE_STORE_ORIG_SOURCE_DIR
148 Store original source location in dune-package metadata
149 DUNE_WORKSPACE
151 Use this specific workspace file instead of looking it up.
152Dune n/a dune-installed-libraries(1)