aboutsummaryrefslogtreecommitdiff
path: root/INSTALL.md
diff options
context:
space:
mode:
authorEnrico2019-05-22 09:59:04 +0200
committerGitHub2019-05-22 09:59:04 +0200
commit99c7bbfce81c182ef95b4a5dd8b9e2f09b4f6d2e (patch)
tree5f46b449bdd11c3cfec1f2d147bc517bee6b5a59 /INSTALL.md
parent65ba1f810f43a5fc200e41298a07b1663ee3d9bd (diff)
be explicit about opam version 2.x
Diffstat (limited to 'INSTALL.md')
-rw-r--r--INSTALL.md5
1 files changed, 3 insertions, 2 deletions
diff --git a/INSTALL.md b/INSTALL.md
index b712d98..a694163 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -4,13 +4,14 @@ The library is divided into packages which group together related
files. Each package defines a distribution and compilation unit.
Packages can be compiled using the traditional make utility or
-the more recent OPAM one. The released and current dev versions are
+the more recent OPAM one (version 2). The released and current dev versions are
also available as OPAM packages.
## Compilation and installation of released and current dev version with OPAM
-If you just installed OPAM you may have to do the following. You may also want
+If you just installed OPAM version 2 you may have to do the following. You may also want
to read [OPAM user manual](https://opam.ocaml.org/doc/Usage.html) first.
```
+opam --version # should print 2.x.y
opam init
eval $(opam config env)
```