diff options
| author | Chantal Keller <Chantal.Keller@inria.fr> | 2015-02-14 15:08:21 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@inria.fr> | 2015-02-14 15:08:21 +0100 |
| commit | ce87b450eee0203617104f16f5af43d9dab4ff22 (patch) | |
| tree | ff625240cd291fc4c993bfee9b63d8cac43e4373 | |
| parent | 7ae73d68ee8b3cc950a23b59d0891885ef6de42e (diff) | |
| download | smtcoq-ce87b450eee0203617104f16f5af43d9dab4ff22.tar.gz smtcoq-ce87b450eee0203617104f16f5af43d9dab4ff22.zip | |
Other corrections in the installation instructions
| -rw-r--r-- | INSTALL.md | 11 |
1 files changed, 8 insertions, 3 deletions
@@ -26,7 +26,8 @@ This version is sufficient to check small certificates and to solve small goals. However, if you want to check larger certificates, we recommend using SMTCoq with the [version of Coq with native data-structures](https://github.com/maximedenes/native-coq), -following the instructions in Section [Installation from the sources]. +following the instructions in Section +[Installation from the sources][Installation from the sources]. ## Installation of the provers @@ -55,7 +56,9 @@ We recommend this latter for efficiency. ### With the version of Coq with native data-structures 1. Download the git version of Coq with native compilation: -```git clone git://github.com/maximedenes/native-coq.git``` +``` +git clone git://github.com/maximedenes/native-coq.git +``` and compile it by following the instructions available in the repository. We recommand that you do not install it, but only compile it in local: @@ -66,7 +69,9 @@ make 2. Set an environment variable COQBIN to the directory where Coq's binaries are; for instance: -```export COQBIN=/home/jdoe/native-coq/bin/``` +``` +export COQBIN=/home/jdoe/native-coq/bin/ +``` (the final slash is mandatory). 3. Compile and install SMTCoq by using the commands: |