OPAM-SWITCH(1) Opam Manual OPAM-SWITCH(1) (NAME) opam-switch - (SYNOPSIS) opam switch [OPTION] [COMMAND] [ARG] (DESCRIPTION) <> (pinned) . . switch opam switch create switch opam switch set . switch switch set . SWITCH ( switch ~/.opam ) switch _opam . OPAMSWITCH --switch Opam switch . switch switch --no-install . opam switch set switch . (shell hook) switch switch switch . eval $(opam env --switch=SWITCH --set-switch) switch (override) . (COMMANDS) list . SWITCH SWITCH set SWITCH . - switch ( git switch -). switch switch - --cli=2.1 opam switch set - . create SWITCH [COMPILER] switch . SWITCH ( ) switch . COMPILER SWITCH SWITCH --packages --formula --empty . switch ( opam-init(1)). . set SWITCH switch switch . remove SWITCH switch . export FILE switch . --full --freeze vcs . import FILE (import) switch. --switch switch switch . reinstall [SWITCH] switch . list switch . list-available [PATTERN] switch compiler . . avoid-version deprecated --all . show switch . invariant (invariant) switch . set-invariant PACKAGES (invariant) switch switch . . --force --no-action . (invariant) . set-description STRING switch . link SWITCH [DIR] switch switch . install SWITCH 2.1 create . set-base PACKAGES 2.1 set-invariant . (EXAMPLES) opam switch create 4.08.0 switch <<4.08.0>> 4.08.0 ( ). opam switch create ./ --deps-only switch ./. switch . opam switch create trunk --repos default,beta=https://github.com/ocaml/ocaml-beta-repository.git ocaml-variants.4.10.0+trunk switch <> ocaml-variants.4.10.0+trunk beta URL ..SH " (OPTIONS)" -A COMP, --alias-of=COMP 2.1 . --all list-available: avoid-version deprecated . --deps-only switch ( opam) . (import) switch . --description=STRING switch . switch set-description . --empty switch invariant . --force set-invariant: invariant . --formula=FORMULA << >> (disjunction) invariant . '"foo" {>= "1.1"}'. --freeze (export) VCS . . --full . --full ( ). -n, --no-action set-invariant: invariant : install upgrade . --no-autoinstall 2.1 . --no-install switch . --no-switch switch . --packages=PACKAGES switch invariant . --repositories=REPOS switch . REPOS ( opam repository add --dont-select) NAME=URL NAME . opam repository . list-available . -s, --short . (PACKAGE BUILD OPTIONS) --assume-depexts opam . opam . . -b, --keep-build-dir . $OPAMKEEPBUILDDIR "true" . --build-doc 2.1 --with-doc . --build-test 2.1 --with-test . -d, --with-doc . . $OPAMWITHDOC ( $OPAMBUILDDOC) "true" . --dry-run . $OPAMDEBUG . --fake opam . : opam . --dry-run . . --ignore-constraints-on[=PACKAGES] (=) opam . . . $OPAMIGNORECONSTRAINTS . --inplace-build opam . . $OPAMINPLACEBUILD "true" . -j JOBS, --jobs=JOBS (jobs) . . $OPAMJOBS . --lock-suffix=SUFFIX ( =locked) SUFFIX . --locked opam .locked ( foo.opam.locked foo.opam) . . lock . $OPAMLOCKED . . -m MAKE, --make=MAKE 2.1 opam config set[-global] make MAKE . --no-checksums (checksum) . $OPAMNOCHECKSUMS "true" . --no-depexts . . --assume-depexts . --require-checksums (upstream) . $OPAMREQUIRECHECKSUMS "true" . --reuse-build-dir ( --keep-build-dir ) . . $OPAMREUSEBUILDDIR "true" . --show-actions (solver) . . $OPAMSHOW . --skip-updates install upgrade reinstall . (cache) . $OPAMSKIPUPDATE . -t, --with-test (unit-tests) . . $OPAMWITHTEST ( $OPAMBUILDTEST) "true" . --unlock-base 2.1 --update-invariant . --update-invariant switch ( ) . . $OPAMUNLOCKBASE --verbose-on=PACKAGES (verbose) . $OPAMVERBOSE . --with-dev-setup ..SH " (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 / 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 opam OPAMROOT/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 . opam . . $OPAMWORKINGDIR . -y, --yes / opam . --confirm-level. $OPAMYES "true" ..SH " (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 (fixup) . OPAMIGNORECONSTRAINTS `--ignore-constraints-on' . OPAMIGNOREPINDEPENDS `--ignore-pin-depends' . OPAMINPLACEBUILD `--inplace-build' . OPAMJOBS (workers) . OPAMJSON json ( `%' ). OPAMKEEPBUILDDIR `--keep-build-dir' . OPAMKEEPLOGS opam . (finalisers) (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 (pinning) . 1.3.0 . OPAMPRECISETRACKING . OPAMPREPRO CUDF false . . 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') (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/) . opam 2.1 OPAMCLI 2.0 ( 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 .SH " (SEE ALSO)" opam(1) (BUGS) https://github.com/ocaml/opam/issues . Opam 2.5.2 OPAM-SWITCH(1)