diff options
| author | Chantal Keller <Chantal.Keller@inria.fr> | 2015-02-14 15:06:47 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@inria.fr> | 2015-02-14 15:06:47 +0100 |
| commit | 7ae73d68ee8b3cc950a23b59d0891885ef6de42e (patch) | |
| tree | 43e689f3abaac9741c5575c3aff814e3bb22d34a | |
| parent | eed192418d1bbae649cd5544e9cab3174e130a04 (diff) | |
| download | smtcoq-7ae73d68ee8b3cc950a23b59d0891885ef6de42e.tar.gz smtcoq-7ae73d68ee8b3cc950a23b59d0891885ef6de42e.zip | |
Corrections in installation instructions
| -rw-r--r-- | INSTALL.md | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -26,7 +26,7 @@ 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 of the provers @@ -55,7 +55,7 @@ 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 +66,7 @@ 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: |