From 42a332b5413891029967bff4403d548492f8a93c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 2 Jul 2019 14:16:32 +0200
Subject: [PATCH] INSTALL and README: updates the opam version needed to
install Frama-C.
---
INSTALL.md | 4 ++--
README.md | 2 +-
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/INSTALL.md b/INSTALL.md
index d7c390f5c97..a54908ab896 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -32,7 +32,7 @@ First you need to install opam, then you may install Frama-C using opam:
opam install frama-c
-**Note:** make sure your opam version is >= 1.2.2.
+**Note:** make sure your opam version is >= 2.0.0.
Also, it is highly recommended that you install an external solver
for opam, such as `aspcud`, otherwise unexpected dependency errors
may occur during installation.
@@ -46,7 +46,7 @@ OSX has opam through Homebrew.
A [Cygwin-based opam](https://fdopen.github.io/opam-repository-mingw/installation)
is available on Windows. It is less stable than it is for the other OSes, but should work.
-If your system does not have an opam package >= 1.2.2 you can compile it from source,
+If your system does not have an opam package >= 2.0.0 you can compile it from source,
or use the provided opam binaries available at:
http://opam.ocaml.org/doc/Install.html
diff --git a/README.md b/README.md
index 311311ec88e..526faa3192f 100644
--- a/README.md
+++ b/README.md
@@ -33,7 +33,7 @@ see [INSTALL.md](INSTALL.md).
Frama-C is available through [OPAM](http://opam.ocaml.org/), the
OCaml Package Manager. This is the preferred installation method. Be sure
-to install opam v1.2 or higher. Then the following sequence of commands
+to install opam v2.0 or higher. Then the following sequence of commands
should install frama-c and its gui:
opam init
--
GitLab