diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2016-09-28 16:08:14 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2016-09-28 16:08:14 +0200 |
| commit | e0dcd7c140cfec89300fa9f0a8a0f9b8d12633e0 (patch) | |
| tree | 0c491f3042742601df2119e8b72312df74df7979 /INSTALL.md | |
| parent | b3f7d3361fac0d1771e6ea3eb277ad858ce38760 (diff) | |
| download | smtcoq-e0dcd7c140cfec89300fa9f0a8a0f9b8d12633e0.tar.gz smtcoq-e0dcd7c140cfec89300fa9f0a8a0f9b8d12633e0.zip | |
Updated the installation instructions
Diffstat (limited to 'INSTALL.md')
| -rw-r--r-- | INSTALL.md | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -38,7 +38,7 @@ require very efficient computation (such as checking big certificates). 1. Download the last stable version of Coq 8.5: ``` -wget https://coq.inria.fr/distrib/V8.5pl1/files/coq-8.5pl1.tar.gz +wget https://coq.inria.fr/distrib/V8.5pl2/files/coq-8.5pl2.tar.gz ``` and compile it by following the instructions available in the repository. We recommand that you do not install it, but only compile @@ -51,7 +51,7 @@ make 2. Set an environment variable COQBIN to the directory where Coq's binaries are; for instance: ``` -export COQBIN=/home/jdoe/woe-8.5pl1/bin/ +export COQBIN=/home/jdoe/coq-8.5pl2/bin/ ``` (the final slash is mandatory). |