blob: c468b6fd51c7c1cc9c58055a1d90126d6a0cc4ac (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
INSTALLATION PROCEDURE FOR THE MATHEMATICAL COMPONENTS LIBRARY
--------------------------------------------------------------
LINUX AND MAC
=============
0. Install opam. Instructions at
http://opam.ocaml.org/doc/Install.html
1. Be sure to have the Coq stable repository added to opam by typing
opam repo list
If it is not the case, type
opam repo add coq-stable https://github.com/coq/repo-stable.git
2. To find all Mathematical Components libraries type
opam search coq:mathcomp
3. To get more info about a package type (for example)
opam show coq:mathcomp:discrete
4. To install the ones you need, type (for example)
opam install coq:mathcomp:discrete
To take advantage of parallel hardware one can add
the flag -j to specify how many concurrent jobs are
run, for example type
opam install -j2 coq:mathcomp:discrete
5. To remove a package, type (for example)
opam remove coq:mathcomp:discrete
WINDOWS
=======
0. Install Coq using the official Windows installer from
...
1. Download and install the all in one bundle
...
|
