diff options
| author | Cyril Cohen | 2017-11-07 13:44:57 +0100 |
|---|---|---|
| committer | GitHub | 2017-11-07 13:44:57 +0100 |
| commit | 1b2011402ac3fb6d7b28e8eb3178a70a6d1b3d14 (patch) | |
| tree | d1a470ef24ed2e302f834a798999994f5bec1f48 /README.md | |
| parent | 6082d5fba4381b67f79d4aa73bb836729085f21c (diff) | |
Update README.md
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -18,8 +18,14 @@ the more recent `OPAM` one. The released and current dev version 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 +to read opam user manual first https://opam.ocaml.org/doc/Usage.html +``` +opam init +eval `opam config env` +``` +Once your opam envionement is configure you can install any math-comp package via ``` -opam init # if you use opam for the first time opam repo add coq-released https://coq.inria.fr/opam/released opam pin add -n coq -k version 8.7.0 opam install coq -j3 |