1OPAM ADMIN-CHECK(1) Opam admin Manual OPAM ADMIN-CHECK(1)
2
6 opam admin-check - Runs some consistency checks on a repository
7
9 opam admin check [OPTION]...
10
12 This command runs consistency checks on a repository, and prints a
13 report to stdout. Checks include packages that are not installable (due
14 e.g. to a missing dependency) and dependency cycles. The 'available'
15 field is ignored for these checks, that is, all packages are supposed
16 to be available. By default, all checks are run.
17
19 --cycles
20 Do the cycles check (and disable the others by default)
21 -i, --ignore-test-doc
23 By default, {with-test} and {with-doc} dependencies are included.
24 This ignores them, and makes the test more tolerant.
25 --installability
27 Do the installability check (and disable the others by default)
28 --obsolete
30 Analyse for obsolete packages
31 -s, --short
33 Only output a list of uninstallable packages
34
36 These options are common to all commands.
37 --best-effort
39 Don't fail if all requested packages can't be installed: try to
40 install as many as possible. Note that not all external solvers may
41 support this option (recent versions of aspcud or mccs should).
42 This is equivalent to setting $OPAMBESTEFFORT environment variable.
43 --color=WHEN
45 Colorize the output. WHEN must be one of `always', `never' or
46 `auto'.
47 --criteria=CRITERIA
49 Specify user preferences for dependency solving for this run.
50 Overrides both $OPAMCRITERIA and $OPAMUPGRADECRITERIA. For details
51 on the supported language, and the external solvers available, see
52 http://opam.ocaml.org/doc/External_solvers.html. A general guide to
53 using solver preferences can be found at
54 http://www.dicosmo.org/Articles/usercriteria.pdf.
55 --cudf=FILENAME
57 Debug option: Save the CUDF requests sent to the solver to
58 FILENAME-<n>.cudf.
59 --debug
61 Print debug message to stderr. This is equivalent to setting
62 $OPAMDEBUG to "true".
63 --debug-level=LEVEL
65 Like --debug, but allows specifying the debug level (--debug sets
66 it to 1). Equivalent to setting $OPAMDEBUG to a positive integer.
67 --git-version
69 Print the git version of opam, if set (i.e. you are using a
70 development version), and exit.
71 --help[=FMT] (default=auto)
73 Show this help in format FMT. The value FMT must be one of `auto',
74 `pager', `groff' or `plain'. With `auto', the format is `pager` or
75 `plain' whenever the TERM env var is `dumb' or undefined.
76 --ignore-pin-depends
78 Ignore extra pins required by packages that get pinned, either
79 manually through opam pin or through opam install DIR. This is
80 equivalent to setting IGNOREPINDEPENDS=true.
81 --json=FILENAME
83 Save the results of the opam run in a computer-readable file. If
84 the filename contains the character `%', it will be replaced by an
85 index that doesn't overwrite an existing file. Similar to setting
86 the $OPAMJSON variable.
87 --no-aspcud
89 Deprecated.
90 --no-auto-upgrade
92 When configuring or updating a repository that is written for an
93 earlier opam version (1.2), opam internally converts it to the
94 current format. This disables this behaviour. Note that
95 repositories should define their format version in a 'repo' file at
96 their root, or they will be assumed to be in the older format. It
97 is, in any case, preferable to upgrade the repositories manually
98 using opam admin upgrade [--mirror URL] when possible.
99 -q, --quiet
101 Disables --verbose.
102 --root=ROOT
104 Use ROOT as the current root path. This is equivalent to setting
105 $OPAMROOT to ROOT.
106 --safe, --readonly
108 Make sure nothing will be automatically updated or rewritten.
109 Useful for calling from completion scripts, for example. Will fail
110 whenever such an operation is needed ; also avoids waiting for
111 locks, skips interactive questions and overrides the $OPAMDEBUG
112 variable. This is equivalent to set environment variable $OPAMSAFE.
113 --solver=CMD
115 Specify the CUDF solver to use for resolving package installation
116 problems. This is either a predefined solver (this version of opam
117 supports builtin-mccs+lp(), builtin-mccs+glpk, aspcud, mccs,
118 aspcud-old, packup), or a custom command that should contain the
119 variables %{input}%, %{output}%, %{criteria}%, and optionally
120 %{timeout}%. This is equivalent to setting $OPAMEXTERNALSOLVER.
121 --strict
123 Fail whenever an error is found in a package definition or a
124 configuration file. The default is to continue silently if
125 possible.
126 --switch=SWITCH
128 Use SWITCH as the current compiler switch. This is equivalent to
129 setting $OPAMSWITCH to SWITCH.
130 --use-internal-solver
132 Disable any external solver, and use the built-in one (this
133 requires that opam has been compiled with a built-in solver). This
134 is equivalent to setting $OPAMNOASPCUD or $OPAMUSEINTERNALSOLVER.
135 -v, --verbose
137 Be more verbose. One -v shows all package commands, repeat to also
138 display commands called internally (e.g. tar, curl, patch etc.)
139 Repeating n times is equivalent to setting $OPAMVERBOSE to "n".
140 --version
142 Show version information.
143 -w, --working-dir
145 Whenever updating packages that are bound to a local,
146 version-controlled directory, update to the current working state
147 of their source instead of the last committed state, or the ref
148 they are pointing to. This only affects packages explicitly listed
149 on the command-line.It can also be set with $OPAMWORKINGDIR.
150 -y, --yes
152 Answer yes to all yes/no questions without prompting. This is
153 equivalent to setting $OPAMYES to "true".
154
156 Opam makes use of the environment variables listed here. Boolean
157 variables should be set to "0", "no", "false" or the empty string to
158 disable, "1", "yes" or "true" to enable.
159 OPAMALLPARENS surround all filters with parenthesis
161 OPAMAUTOREMOVE see remove option `--auto-remove`
163 OPAMBESTEFFORT see option `--best-effort`
165 OPAMBESTEFFORTPREFIXCRITERIA sets the string that must be prepended to
167 the criteria when the `--best-effort` option is set, and is expected to
168 maximise the `opam-query` property in the solution
169 OPAMCOLOR, when set to always or never, sets a default value for the
171 --color option.
172 OPAMCRITERIA specifies user preferences for dependency solving. The
174 default value depends on the solver version, use `config report` to
175 know the current setting. See also option --criteria
176 OPAMCUDFFILE file save the cudf graph to file-actions-explicit.dot
178 OPAMCURL can be used to select a given 'curl' program. See OPAMFETCH
180 for more options.
181 OPAMDEBUG see options `--debug' and `--debug-level'.
183 OPAMDOWNLOADJOBS sets the maximum number of simultaneous downloads.
185 OPAMDRYRUN see option `--dry-run`
187 OPAMEDITOR sets the editor to use for opam file editing, overrides
189 $EDITOR and $VISUAL
190 OPAMERRLOGLEN sets the number of log lines printed when a sub-process
192 fails. 0 to print all.
193 OPAMEXTERNALSOLVER see option `--solver'.
195 OPAMFAKE see option `--fake`
197 OPAMFETCH specifies how to download files: either `wget', `curl' or a
199 custom command where variables %{url}%, %{out}%, %{retry}%,
200 %{compress}% and %{checksum}% will be replaced. Overrides the
201 'download-command' value from the main config file.
202 OPAMFIXUPCRITERIA same as OPAMUPGRADECRITERIA, but specific to fixup
204 OPAMIGNORECONSTRAINTS see install option `--ignore-constraints-on`
206 OPAMIGNOREPINDEPENDS see option `--ignore-pin-depends`
208 OPAMJOBS sets the maximum number of parallel workers to run.
210 OPAMJSON log json output to the given file (use character `%' to index
212 the files)
213 OPAMLOCKED see install option `--locked`
215 OPAMLOGS logdir sets log directory, default is a temporary directory in
217 /tmp
218 OPAMMAKECMD set the system make command to use
220 OPAMNOAUTOUPGRADE disables automatic internal upgrade of repositories
222 in an earlier format to the current one, on 'update' or 'init'.
223 OPAMKEEPLOGS tells opam to not remove some temporary command logs and
225 some backups. This skips some finalisers and may also help to get more
226 reliable backtraces
227 OPAMLOCKRETRIES sets the number of tries after which opam gives up
229 acquiring its lock and fails. <= 0 means infinite wait.
230 OPAMMERGEOUT merge process outputs, stderr on stdout
232 OPAMNO answer no to any question asked.
234 OPAMNOASPCUD Deprecated.
236 OPAMNOCHECKSUMS enables option --no-checksums when available.
238 OPAMNOSELFUPGRADE see option `--no-self-upgrade'.
240 OPAMPINKINDAUTO sets whether version control systems should be detected
242 when pinning to a local path. Enabled by default since 1.3.0.
243 OPAMPRECISETRACKING fine grain tracking of directories
245 OPAMREQUIRECHECKSUMS Enables option `--require-checksums' when
247 available (e.g. for `opam install`).
248 OPAMRETRES sets the number of tries before failing downloads.
250 OPAMROOT see option `--root'. This is automatically set by `opam env
252 --root=DIR --set-root'.
253 OPAMROOTISOK don't complain when running as root.
255 OPAMSAFE see option `--safe'
257 OPAMSHOW see option `--show`
259 OPAMSKIPUPDATE see option `--skip-updates`
261 OPAMSKIPVERSIONCHECKS bypasses some version checks. Unsafe, for
263 compatibility testing only.
264 OPAMSOLVERTIMEOUT change the time allowance of the solver. Default is
266 60.0, set to 0 for unlimited. Note that all solvers may not support
267 this option.
268 OPAMSTATUSLINE display a dynamic status line showing what's currently
270 going on on the terminal. (one of one of `always', `never' or `auto')
271 OPAMSTATS display stats at the end of command
273 OPAMSTRICT fail on inconsistencies (file reading, switch import, etc.)
275 OPAMSWITCH see option `--switch'. Automatically set by `opam env
277 --switch=SWITCH --set-switch'.
278 OPAMUNLOCKBASE see install option `--unlock-base`
280 OPAMUPGRADECRITERIA specifies user preferences for dependency solving
282 when performing an upgrade. Overrides OPAMCRITERIA in upgrades if both
283 are set. See also option --criteria
284 OPAMUSEINTERNALSOLVER see option `--use-internal-solver'.
286 OPAMUSEOPENSSL force openssl use for hash computing
288 OPAMUTF8 use UTF8 characters in output (one of one of `always', `never'
290 or `auto'). By default `auto', which is determined from the locale).
291 OPAMUTF8MSGS use extended UTF8 characters (camels) in opam messages.
293 Implies OPAMUTF8. This is set by default on OSX only.
294 OPAMVALIDATIONHOOK hook if set, uses the `%{hook%}` command to validate
296 an opam repository update
297 OPAMVAR_var overrides the contents of the variable var when
299 substituting `%{var}%` strings in `opam` files.
300 OPAMVAR_package_var overrides the contents of the variable package:var
302 when substituting `%{package:var}%` strings in `opam` files.
303 OPAMVERBOSE see option `--verbose'.
305 OPAMWORKINGDIR see option `--working-dir`
307 OPAMYES see option `--yes'.
309
311 As an exception to the following, the `exec' command returns 127 if the
312 command was not found or couldn't be executed, and the command's exit
313 value otherwise.
314 0 Success, or true for boolean queries.
316 1 False. Returned when a boolean return value is expected, e.g. when
318 running with --check, or for queries like opam lint.
319 2 Bad command-line arguments, or command-line arguments pointing to
321 an invalid context (e.g. file not following the expected format).
322 5 Not found. You requested something (package, version, repository,
324 etc.) that couldn't be found.
325 10 Aborted. The operation required confirmation, which wasn't given.
327 15 Could not acquire the locks required for the operation.
329 20 There is no solution to the user request. This can be caused by
331 asking to install two incompatible packages, for example.
332 30 Error in package definition, or other metadata files. Using
334 --strict raises this error more often.
335 31 Package script error. Some package operations were unsuccessful.
337 This may be an error in the packages or an incompatibility with
338 your system. This can be a partial error.
339 40 Sync error. Could not fetch some remotes from the network. This can
341 be a partial error.
342 50 Configuration error. Opam or system configuration doesn't allow
344 operation, and needs fixing.
345 60 Solver failure. The solver failed to return a sound answer. It can
347 be due to a broken external solver, or an error in solver
348 configuration.
349 99 Internal error. Something went wrong, likely due to a bug in opam
351 itself.
352 130 User interrupt. SIGINT was received, generally due to the user
354 pressing Ctrl-C.
355
357 See https://opam.ocaml.org/doc.
358
360 Vincent Bernardoff <vb@luminar.eu.org>
361 Raja Boujbel <raja.boujbel@ocamlpro.com>
362 Roberto Di Cosmo <roberto@dicosmo.org>
363 Thomas Gazagnaire <thomas@gazagnaire.org>
364 Louis Gesbert <louis.gesbert@ocamlpro.com>
365 Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>
366 Anil Madhavapeddy <anil@recoil.org>
367 Guillem Rieu <guillem.rieu@ocamlpro.com>
368 Ralf Treinen <ralf.treinen@pps.jussieu.fr>
369 Frederic Tuong <tuong@users.gforge.inria.fr>
370
372 Check bug reports at https://github.com/ocaml/opam/issues.
373Opam admin 2.0.6 OPAM ADMIN-CHECK(1)