OPAM-CONFIG(1) Opam Manual OPAM-CONFIG(1) (NAME) opam-config - (SYNOPSIS) opam config [OPTION] [COMMAND] [ARG] (DESCRIPTION) opam PATH opam . opam config env opam . (COMMANDS) env ( PATH) . -v . eval $(opam config env) (context) opam . opam env . revert-env opam eval $(opam config revert-env) eval $(opam config env) . list [PACKAGE]... . PACKAGE . expand STRING . subst FILE... . %{var}% var ( var). report . cudf-universe [FILE] CUDF . pef-universe [FILE] PEF . exec [--] COMMAND [ARG]... 2.1 opam exec . set VAR VALUE 2.1 opam var . unset VAR 2.1 opam var . set-global VAR VALUE 2.1 opam var . unset-global VAR 2.1 opam var . var VAR 2.1 opam var . (OPTIONS) --inplace-path PATH opam . opam (shadowed) opam env . --set-root env exec OPAMROOT opam . --set-switch env exec OPAMSWITCH opam . --sexp s-expression . --shell=SHELL opam SHELL . bash sh csh zsh fish pwsh cmd powershell. $SHELL . (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 . $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 opam ( ) . --help[=FMT] (=auto) FMT. FMT auto pager groff plain . auto TERM dumb pager plain . --ignore-pin-depends opam pin opam install DIR. IGNOREPINDEPENDS=true . --json=FILENAME opam . `% . $OPAMJSON . --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 . $OPAMSWITCH SWITCH . --use-internal-solver ( opam ). $OPAMNOASPCUD $OPAMUSEINTERNALSOLVER . -v, --verbose . -v ( tar curl patch ) . n $OPAMVERBOSE "n" . --version . -w, --working-dir (commit) . opam . . $OPAMWORKINGDIR . -y, --yes () / opam . --confirm-level. $OPAMYES "true" . (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) . OPAMIGNORECONSTRAINTS --ignore-constraints-on. OPAMIGNOREPINDEPENDS --ignore-pin-depends. OPAMINPLACEBUILD --inplace-build. OPAMJOBS . OPAMJSON JSON ( `% ). OPAMKEEPBUILDDIR --keep-build-dir. OPAMKEEPLOGS opam . (backtrace) . 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 ( ) . 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 ( ) . OPAMSWITCH --switch. opam env --switch=SWITCH --set-switch . OPAMUNLOCKBASE --unlock-base. OPAMUPGRADECRITERIA (preferences) . OPAMCRITERIA . --criteria. OPAMUSEINTERNALSOLVER --use-internal-solver. OPAMUSEOPENSSL 2.2 . OPAMUTF8 UTF-8 ( always never auto auto ). OPAMUTF8MSGS UTF-8 () 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 . (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 . . . 99 . opam . 130 . SIGINT Ctrl-C . 0 . 123 (stderr). 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-CONFIG(1)