diff options
| author | Chantal Keller <Chantal.Keller@inria.fr> | 2017-10-25 09:32:38 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@inria.fr> | 2017-10-25 09:32:38 +0200 |
| commit | 088c5d616b5356350b913591ebba6c7e8461c084 (patch) | |
| tree | 5c8ef7a65fea8666c5a0463fe24f5c108934723c /INSTALL.md | |
| parent | 48e123caddd6a4c4edd60d8f39b78a5421418f40 (diff) | |
| download | smtcoq-088c5d616b5356350b913591ebba6c7e8461c084.tar.gz smtcoq-088c5d616b5356350b913591ebba6c7e8461c084.zip | |
Yves' proposition for installation instructions
Diffstat (limited to 'INSTALL.md')
| -rw-r--r-- | INSTALL.md | 6 |
1 files changed, 2 insertions, 4 deletions
@@ -55,13 +55,12 @@ export COQBIN=/home/jdoe/coq-8.6.1/bin/ ``` (the final slash is mandatory). -3. Compile and install SMTCoq by using the commands: +3. Compile and install SMTCoq by using the following commands in the src directory. ``` ./configure.sh make make install ``` - in the src directory. ### Installation with native-coq @@ -85,13 +84,12 @@ export COQBIN=/home/jdoe/native-coq/bin/ ``` (the final slash is mandatory). -3. Compile and install SMTCoq by using the commands: +3. Compile and install SMTCoq by using the following commands in the src directory. ``` ./configure.sh -native make make install ``` - in the src directory. ## Installation of the provers |