diff options
| author | Chantal Keller <Chantal.Keller@inria.fr> | 2015-02-14 15:12:19 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@inria.fr> | 2015-02-14 15:12:19 +0100 |
| commit | 80d134cf41564b05a02ebd23ef495fbd82db292d (patch) | |
| tree | 61bb8a8dd32a1c268e6b8d46d82f86498ba76c0f | |
| parent | ce87b450eee0203617104f16f5af43d9dab4ff22 (diff) | |
| download | smtcoq-80d134cf41564b05a02ebd23ef495fbd82db292d.tar.gz smtcoq-80d134cf41564b05a02ebd23ef495fbd82db292d.zip | |
Corrections in the installation instructions
| -rw-r--r-- | INSTALL.md | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -26,8 +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][Installation from the sources]. +following the instructions in Section "Installation from the sources". ## Installation of the provers @@ -90,7 +89,9 @@ make install 2. Set an environment variable COQBIN to the directory where Coq's binaries are; for instance: - `export COQBIN=/home/jdoe/coq-8.4pl5/bin/` +``` +export COQBIN=/home/jdoe/coq-8.4pl5/bin/ +``` (the final slash is mandatory). 3. Compile and install SMTCoq by using the commands: |