opam 2.0.2 release
We are pleased to announce the release of opam 2.0.2.
As sandbox scripts have been updated, don't forget to run opam init --reinit -ni
to update yours.
This new version contains mainly backported fixes:
- Doc:
- update man page
- add message for deprecated options
- reinsert removed ones to print a deprecated message instead of fail (e.g.
--alias-of
) - deprecate
no-aspcud
- Pin:
- on pinning, rebuild updated
pin-depends
packages reliably - include descr & url files on pinning 1.2 opam files
- on pinning, rebuild updated
- Sandbox:
- handle symlinks in bubblewrap for system directories such as
/bin
or/lib
(#3661). Fixes sandboxing on some distributions such as CentOS 7 and Arch Linux. - allow use of unix domain sockets on macOS (#3659)
- change one-line conditional to if statement which was incompatible with set -e
- make /var readonly instead of empty and rw
- handle symlinks in bubblewrap for system directories such as
- Path: resolve default opam root path
- System: suffix .out for read_command_output stdout files
- Locked: check consistency with opam file when reading lock file to suggest regeneration message
- Show: remove pin depends messages
- Cudf: Fix closure computation in the presence of cycles to have a complete graph if a cycle is present in the graph (typically
ocaml-base-compiler
⇄ocaml
) - List: Fix some cases of listing coinstallable packages
- Format upgrade: extract archived source files of version-pinned packages
- Core: add is_archive in OpamSystem and OpamFilename
- Init: don't fail if empty compiler given
- Lint: fix light_uninstall flag for error 52
- Build: partial port to dune
- Update cold compiler to 4.07.1
Installation instructions (unchanged):
- From binaries: run
sh <(curl -sL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh)
or download manually from the Github "Releases" page to your PATH. In this case, don't forget to run opam init --reinit -ni
to enable sandboxing if you had version 2.0.0~rc manually installed or to update your sandbox script.
- From source, using opam:
opam update; opam install opam-devel
(then copy the opam binary to your PATH as explained, and don't forget to run opam init --reinit -ni
to enable sandboxing if you had version 2.0.0~rc manually installed or to update you sandbox script)
- From source, manually: see the instructions in the README.
We hope you enjoy this new minor version, and remain open to bug reports and suggestions.
NOTE: this article is cross-posted on opam.ocaml.org and ocamlpro.com.
About OCamlPro:
OCamlPro is a R&D lab founded in 2011, with the mission to help industrial users benefit from state-of-the art programming languages like OCaml and Rust.
We design, create and implement custom ad-hoc software for our clients. We also have a long experience in developing and maintaining open-source tooling for OCaml, such as Opam, TryOCaml, ocp-indent, ocp-index and ocp-browser, and we contribute to the core-development of OCaml, notably with our work on the Flambda optimizer branch.
Another area of expertise is that of Formal Methods, with tools such as our SMT Solver Alt-Ergo (check our Alt-Ergo Users'). We also provide vocational trainings in OCaml and Rust, and we can build courses on formal methods on-demand. Please reach out, we'll be delighted to discuss your challenges: contact@ocamlpro.com or book a quick discussion.
Most Recent Articles
2023
2022
2021
- Verification for Dummies: SMT and Induction
- Generating static and portable executables with OCaml
- opam 2.1.0 is released!
- opam 2.0.9 release
- Detecting identity functions in Flambda
- Détection de fonctions d’identité dans Flambda
- opam 2.1.0~rc2 released
- Tutorial: Format Module of OCaml
- Réunion annuelle du Club des utilisateurs d’Alt-Ergo 2021
- New Try-Alt-Ergo