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       -f, --force
13           Force actions associated to aliases to be re-executed even if their
14           dependencies haven't changed.
15
16       --help[=FMT] (default=auto)
17           Show this help in format FMT. The value FMT must be one of `auto',
18           `pager', `groff' or `plain'. With `auto', the format is `pager` or
19           `plain' whenever the TERM env var is `dumb' or undefined.
20
21       --not-available, --na
22           List libraries that are not available and explain why
23
24       --version
25           Show version information.
26
27       -w, --watch
28           Instead of terminating build after completion, wait continuously
29           for file changes.
30

COMMON OPTIONS

32       --auto-promote
33           Automatically promote files. This is similar to running dune
34           promote after the build.
35
36       --build-dir=FILE (absent DUNE_BUILD_DIR env)
37           Specified build directory. _build if unspecified
38
39       --config-file=FILE
40           Load this configuration file instead of the default one.
41
42       --debug-backtraces
43           Always print exception backtraces.
44
45       --debug-dependency-path
46           In case of error, print the dependency path from the targets on the
47           command line to the rule that failed.
48
49       --debug-findlib
50           Debug the findlib sub-system.
51
52       --default-target=TARGET
53           Set the default target that when none is specified to dune build.
54           It defaults to @@default.
55
56       --dev
57           Same as --profile dev
58
59       --diff-command=VAL
60           Shell command to use to diff files. Use - to disable printing the
61           diff.
62
63       --display=MODE
64           Control the display mode of Dune. See dune-config(5) for more
65           details.
66
67       --ignore-promoted-rules
68           Ignore rules with (mode promote)
69
70       -j JOBS
71           Run no more than JOBS commands simultaneously.
72
73       --no-buffer
74           Do not buffer the output of commands executed by dune. By default
75           dune buffers the output of subcommands, in order to prevent
76           interleaving when multiple commands are executed in parallel.
77           However, this can be an issue when debugging long running tests.
78           With --no-buffer, commands have direct access to the terminal. Note
79           that as a result their output won't be captured in the log file.
80           You should use this option in conjunction with -j 1, to avoid
81           interleaving. Additionally you should use --verbose as well, to
82           make sure that commands are printed before they are being executed.
83
84       --no-config
85           Do not load the configuration file
86
87       --no-print-directory
88           Suppress "Entering directory" messages
89
90       --only-packages=PACKAGES
91           Ignore stanzas referring to a package that is not in PACKAGES.
92           PACKAGES is a comma-separated list of package names. Note that this
93           has the same effect as deleting the relevant stanzas from jbuild
94           files. It is mostly meant for releases. During development, it is
95           likely that what you want instead is to build a particular
96           <package>.install target.
97
98       -p PACKAGES, --for-release-of-packages=PACKAGES
99           Shorthand for --root . --only-packages PACKAGE
100           --ignore-promoted-rules --no-config --profile release. You must use
101           this option in your <package>.opam files, in order to build only
102           what's necessary when your project contains multiple packages as
103           well as getting reproducible builds.
104
105       --profile=VAL (absent DUNE_PROFILE env)
106           Select the build profile, for instance dev or release. The default
107           is dev.
108
109       --root=DIR
110           Use this directory as workspace root instead of guessing it. Note
111           that this option doesn't change the interpretation of targets given
112           on the command line. It is only intended for scripts.
113
114       --store-orig-source-dir (absent DUNE_STORE_ORIG_SOURCE_DIR env)
115           Store original source location in dune-package metadata
116
117       --trace-file=FILE
118           Output trace data in catapult format (compatible with
119           chrome://tracing)
120
121       --verbose
122           Same as --display verbose
123
124       --workspace=FILE
125           Use this specific workspace file instead of looking it up.
126
127       -x VAL
128           Cross-compile using this toolchain.
129

ENVIRONMENT

131       These environment variables affect the execution of
132       installed-libraries:
133
134       DUNE_BUILD_DIR
135           Specified build directory. _build if unspecified
136
137       DUNE_PROFILE
138           Build profile. dev if unspecified or release if -p is set.
139
140       DUNE_STORE_ORIG_SOURCE_DIR
141           Store original source location in dune-package metadata
142
143
144
145Dune 11VERSION11                                   dune-installed-libraries(1)
Impressum