OPAM-PIN(1) Opam Manual OPAM-PIN(1) (NAME) opam-pin - (SYNOPSIS) opam pin [OPTION] [COMMAND] [ARG] (DESCRIPTION) . (pinning) . . edit URL : opam pin add PKG URL PKG URL . . ( -) . ( opam pin add . ). PACKAGE name.version opam version . . --with-version . list add . (COMMANDS) list . list . . scan DIR . add [PACKAGE] TARGET PACKAGE TARGET URL . TARGET PACKAGE . --dev-repo TARGET --current . TARGET - . opam ( ) TARGET --kind URL . #branch git://host/me/pkg#testing. PACKAGE . NAME.VERSION PACKAGE opam edit . remove PACKAGES...|TARGET PACKAGES . TARGET . edit NAME opam NAME URL . NAME.VERSION opam . OPAMEDITOR VISUAL EDITOR . (OPTIONS) --all . --current : . --dev-repo -e, --edit opam pin add opam `opam pin edit' . -k KIND, --kind=KIND . version path http git darcs hg none auto . auto path . OPAMPINKINDAUTO "0" . none ( ) . -n, --no-action () . --normalise `name.version^url` `opam pin add` . scan . : `opam pin scan . --normalise | grep foo | xargs opam pin add` --recursive *.opam . --subpath . -s, --short . --subpath=PATH *.opam . . --recursive . --with-version=VERSION PACKAGES TARGET VERSION . ( opam name.vers) . VERSION opam . --with-version --edit . (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 . . $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 . $OPAMNOCHECKSUMS "true" . --no-depexts . . --assume-depexts . --require-checksums . $OPAMREQUIRECHECKSUMS "true" . --reuse-build-dir ( --keep-build-dir ) . . $OPAMREUSEBUILDDIR "true" . --show-actions (solver) . . $OPAMSHOW . --skip-updates install upgrade reinstall . (cache) . $OPAMSKIPUPDATE . -t, --with-test run () . . $OPAMWITHTEST ( $OPAMBUILDTEST) "true" . --unlock-base 2.1 --update-invariant . --update-invariant ( ) . . $OPAMUNLOCKBASE --verbose-on=PACKAGES . $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 (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 . (completion scripts) . $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) (ref) . opam . . $OPAMWORKINGDIR . -y, --yes (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 . OPAMJSON json ( `%' ). OPAMKEEPBUILDDIR `--keep-build-dir' . OPAMKEEPLOGS opam . (finalisers) (backtraces) . OPAMLOCKED `--locked' `--lock-suffix'. OPAMLOGS logdir /tmp OPAMMAKECMD make . OPAMMERGEOUT stderr stdout. OPAMNO no `--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 . (solver) . 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' . backend 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 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-PIN(1)