opam 2.0.0 Release Candidate 2 is out!
We are pleased to announce the release of a second release candidate for opam 2.0.0.
This new version brings us very close to a final 2.0.0 release, and in addition to many fixes, features big performance enhancements over the RC1.
Among the new features, we have squeezed in full sandboxing of package commands for both Linux and macOS, to protect our users from any misbehaving scripts.
NOTE: if upgrading manually from 2.0.0~rc, you need to run
opam init --reinit -nito enable sandboxing.
The new release candidate also offers the possibility to setup a hook in your shell, so that you won't need to run
eval $(opam env) anymore. This is specially useful in combination with local switches, because with it enabled, you are guaranteed that running
make from a project directory containing a local switch will use it.
The documentation has also been updated, and a preview of the opam 2 webpages can be browsed at http://opam.ocaml.org/2.0-preview/ (please report issues here). This provides the list of packages available for opam 2 (the
2.0 branch of opam-repository), including the compiler packages.
- 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.
- 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)
- From source, manually: see the instructions in the README.
Thanks a lot for testing out this new RC and reporting any issues you may find.
NOTE: this article is cross-posted on opam.ocaml.org and ocamlpro.com.
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: email@example.com or book a quick discussion.
Most Recent Articles
- 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