OPAM-TREE(1) Opam Manual OPAM-TREE(1) (NAME) opam-tree - (SYNOPSIS) opam tree [--recursive] [--subpath=PATH] [OPTION] [PACKAGES] (DESCRIPTION) / (Unicode/ASCII-art) . . . . --rev-deps . . . . [*] . . (TREE FILTERING OPTIONS) (PACKAGE SELECTION OPTIONS) (OUTPUT FORMAT OPTIONS) . opam list . (ARGUMENTS) PACKAGES `pkg' `pkg.1.0' `pkg>=0.5' ( `./foo.opam' `.') (TREE BUILDING OPTIONS) --deps ( ). --rev-deps . (TREE FILTERING OPTIONS) PACKAGES . --leads-to PACKAGES . --roots-from PACKAGES ( ). (PACKAGE SELECTION OPTIONS) --dev . --no-switch switch switch --post post. -t, --with-test, --test . --with-dev-setup . --with-doc, --doc . (OUTPUT FORMAT OPTIONS) --no-constraint (>= 1.0.0) . (OPTIONS) --recursive *.opam. --subpath . --subpath=PATH *.opam . / . --recursive subpath . (COMMON OPTIONS) . --best-effort : . ( aspcud mccs ). $OPAMBESTEFFORT . --cli=MAJOR.MINOR (=2.5) MAJOR.MINOR. opam ( ) opam MAJOR MINOR . opam 2.0 CLI 2.0 OPAMCLI 2.0 . --color=WHEN . WHEN always never auto . --confirm-level=LEVEL LEVEL ask no yes unsafe-yes . . --yes --no --confirm-level . $OPAMCONFIRMLEVEL . --criteria=CRITERIA (preferences) . $OPAMCRITERIA $OPAMFIXUPCRITERIA $OPAMUPGRADECRITERIA . http://opam.ocaml.org/doc/External_solvers.html . http://www.dicosmo.org/Articles/usercriteria.pdf . --cudf=FILENAME : CUDF FILENAME-.cudf n- opam . --debug stderr. $OPAMDEBUG "true" . --debug-level=LEVEL --debug (--debug 1 ). $OPAMDEBUG . --git-version git opam ( ) . --help[=FMT] (=auto) FMT. FMT auto pager groff plain . auto TERM dumb pager plain . --ignore-pin-depends (pin) opam pin opam install DIR. IGNOREPINDEPENDS=true . --json=FILENAME opam . `%` . $OPAMJSON. --no (no) / opam . --confirm-level . $OPAMNO "true" . --no-aspcud 2.1 . --no-auto-upgrade opam ( 1.2) opam . . 'repo' . opam admin upgrade [--mirror URL] . --no-self-upgrade OPAMROOT/opam opam . . -q, --quiet --verbose . --root=ROOT ROOT . $OPAMROOT ROOT . --safe, --readonly . . $OPAMDEBUG . $OPAMSAFE . --solver=CMD CUDF . ( opam builtin-mccs+lp() builtin-mccs+glpk builtin-dummy-z3-solver builtin-0install aspcud mccs aspcud-old packup ) %{input}% %{output}% %{criteria}% %{timeout}% . $OPAMEXTERNALSOLVER . --strict . . --switch=SWITCH SWITCH switch . $OPAMSWITCH SWITCH . --use-internal-solver ( opam ). $OPAMNOASPCUD $OPAMUSEINTERNALSOLVER . -v, --verbose . -v ( tar curl patch ). n $OPAMVERBOSE "n" . --version . -w, --working-dir (ref) . opam . . $OPAMWORKINGDIR . -y, --yes (yes) / opam . --confirm-level . $OPAMYES "true" ..SH " (ENVIRONMENT)" opam . "0" "no" "false" "1" "yes" "true" . OPAMALLPARENS . OPAMASSUMEDEPEXTS `--assume-depexts' . OPAMAUTOANSWER . OPAMAUTOREMOVE `--auto-remove' . OPAMBESTEFFORT `--best-effort' . OPAMBESTEFFORTPREFIXCRITERIA `--best-effort' `opam-query' . OPAMBUILDDOC 2.1 . OPAMBUILDTEST 2.1 . OPAMCLI `--cli' . OPAMCOLOR always never `--color' . OPAMCONFIRMLEVEL `--confirm-level` . OPAMCONFIRMLEVEL OPAMYES OPAMNO . OPAMCRITERIA (preferences) . `config report' . --criteria . OPAMCUDFFILE cudf file-actions-explicit.dot . OPAMCUDFTRIM CUDF . OPAMCURL 'curl' . OPAMFETCH . OPAMDEBUG `--debug' `--debug-level' . OPAMDEBUGSECTIONS . ( CLIENT:2 CLIENT CUDF:2) `--debug-level' . OPAMDIGDEPTH CUDF . OPAMDOWNLOADJOBS . OPAMDROPWORKINGDIR --working-dir . opam . OPAMDRYRUN `--dry-run' . OPAMEDITOR opam $EDITOR $VISUAL . OPAMERRLOGLEN . 0 . OPAMEXTERNALSOLVER `--solver' . OPAMFAKE `--fake' . OPAMFETCH : `wget' `curl' %{url}% %{out}% %{retry}% %{compress}% %{checksum}% . 'download-command' . OPAMFIXUPCRITERIA OPAMUPGRADECRITERIA fixup reinstall. OPAMIGNORECONSTRAINTS `--ignore-constraints-on' . OPAMIGNOREPINDEPENDS `--ignore-pin-depends' . OPAMINPLACEBUILD `--inplace-build' . OPAMJOBS (workers) . OPAMJSON json ( `%' ). OPAMKEEPBUILDDIR `--keep-build-dir' . OPAMKEEPLOGS opam . (backtraces) . OPAMLOCKED `--locked' `--lock-suffix'. OPAMLOGS logdir /tmp OPAMMAKECMD make . OPAMMERGEOUT stderr stdout. OPAMNO `--no` `--confirm-level` . OPAMCONFIRMLEVEL OPAMYES OPAMNO . OPAMNOAGGREGATE `opam admin check' . OPAMNOASPCUD . OPAMNOAUTOUPGRADE 'update' 'init' . OPAMNOCHECKSUMS --no-checksums . OPAMNODEPEXTS `--no-depexts' . OPAMNOENVNOTICE . OPAMNOSELFUPGRADE `--no-self-upgrade' OPAMPINKINDAUTO . 1.3.0 . OPAMPRECISETRACKING . OPAMPREPRO CUDF false . . OPAMREPOSITORYTARRING tar.gz . (caching) /tmp . . OPAMREQUIRECHECKSUMS `--require-checksums' ( `opam install'). OPAMRETRIES . OPAMREUSEBUILDDIR `--reuse-build-dir' . OPAMROOT `--root' . `opam env --root=DIR --set-root' . OPAMROOTISOK (root) . OPAMSAFE `--safe' . OPAMSHOW `--show' . OPAMSKIPUPDATE `--skip-updates' . OPAMSKIPVERSIONCHECKS . . OPAMSOLVERALLOWSUBOPTIMAL ( `true') (timeout) . `true' opam `false' . builtin-z3 . OPAMSOLVERTIMEOUT . 60.0 0 . . OPAMSOLVERTOLERANCE ( ). 0.0 ( ) 1.0 ( ) . 0.0 . ( $OPAMSOLVERTIMEOUT ). . OPAMSTATS 2.4 . OPAMSTATUSLINE . ( always never auto) OPAMSTRICT ( switch ) . OPAMSWITCH `--switch' . `opam env --switch=SWITCH --set-switch' . OPAMUNLOCKBASE `--unlock-base' . OPAMUPGRADECRITERIA (preferences) . OPAMCRITERIA . --criteria . OPAMUSEINTERNALSOLVER `--use-internal-solver' . OPAMUSEOPENSSL 2.2 . OPAMUTF8 UTF8 ( always never auto). `auto' locale ). OPAMUTF8MSGS UTF8 () opam . OPAMUTF8 . macOS . OPAMVALIDATIONHOOK `%{hook%}' opam . OPAMVERBOSE `--verbose' . OPAMVERBOSEON --verbose-on OPAMVERSIONLAGPOWER . OPAMWITHDEVSETUP `--with-dev-setup' . OPAMWITHDOC `--with-doc' . OPAMWITHTEST `--with-test. OPAMWORKINGDIR `--working-dir' . OPAMYES `--yes' `--confirm-level` . OPAMYES OPAMNO OPAMCONFIRMLEVEL . OPAMVAR_var `%{var}%` `opam` var . OPAMVAR_package_var `%{package:var}%` `opam` package:var ..SH " (CLI VERSION)" opam `--cli' opam . . opam (~/.opam/) . CLI opam 2.1 2.0 OPAMCLI ( opam 2.0 ) 2.1 ( ) `--cli=2.1' . OPAMCLI 2.0 `--cli=2.0' opam . `--cli' OPAMCLI . `--cli' . OPAMCLI `--cli' . (EXIT STATUS) `exec' 127 . 0 (true) . 1 (False). --check opam lint. 2 ( ). 5 . ( ) . 10 . . 15 . 20 . . 30 . --strict . 31 . . . . 40 . . . 50 . Opam . 60 (Solver). . . 99 . opam . 130 . SIGINT Ctrl-C . 0 . 123 . 124 . 125 (). (FURTHER DOCUMENTATION) https://opam.ocaml.org/doc . (AUTHORS) David Allsopp Vincent Bernardoff Raja Boujbel Kate Deplaix Roberto Di Cosmo Thomas Gazagnaire Louis Gesbert Fabrice Le Fessant Anil Madhavapeddy Guillem Rieu Ralf Treinen Frederic Tuong (SEE ALSO) opam(1) (BUGS) https://github.com/ocaml/opam/issues . Opam 2.5.2 OPAM-TREE(1)