OPAM-EXEC(1) Opam Manual OPAM-EXEC(1) (NAME) opam-exec - opam (SYNOPSIS) opam exec [OPTION] COMMAND [ARG]... (DESCRIPTION) COMMAND . (cross-compile) opam config exec --switch=SWITCH -- COMMAND ARG1 ... ARGn . opam . OPAMSWITCH OPAMSWITCH COMMAND . opam config exec . (OPTIONS) --inplace-path PATH opam (in-place) . opam (shadow) opam env --no-switch opam . --set-root env exec OPAMROOT opam . --set-switch env exec OPAMSWITCH opam . (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 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 . $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 (yes) / opam . --confirm-level. $OPAMYES "true" . (ENVIRONMENT) opam . (Boolean) "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 . OPAMIGNORECONSTRAINTS `--ignore-constraints-on' . OPAMIGNOREPINDEPENDS `--ignore-pin-depends' . OPAMINPLACEBUILD `--inplace-build' . OPAMJOBS . OPAMJSON json ( `%' ). OPAMKEEPBUILDDIR `--keep-build-dir' . OPAMKEEPLOGS opam . . 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 false CUDF . . OPAMREPOSITORYTARRING tar.gz . /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') . `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 . (CLI VERSION) opam `--cli' opam . . opam (~/.opam/) . CLI opam 2.1 OPAMCLI 2.0 ( opam 2.0 ) `--cli=2.1' 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 failure). . . 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-EXEC(1)