From ce87b450eee0203617104f16f5af43d9dab4ff22 Mon Sep 17 00:00:00 2001 From: Chantal Keller Date: Sat, 14 Feb 2015 15:08:21 +0100 Subject: Other corrections in the installation instructions --- INSTALL.md | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/INSTALL.md b/INSTALL.md index bcda90f..4fe2adf 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -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: -- cgit