diff options
| author | Chantal Keller <Chantal.Keller@inria.fr> | 2015-12-07 12:37:45 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@inria.fr> | 2015-12-07 12:37:45 +0100 |
| commit | b66c3a06caed8a5e240c439d2dafa99ae1f954b6 (patch) | |
| tree | c50c3243ea696c5ad6000561b319737d56664f59 | |
| parent | f33310c1d3d29f05f23ffd34e15e668e6d402914 (diff) | |
| download | smtcoq-1.3.tar.gz smtcoq-1.3.zip | |
Use a fork of native-coqv1.3
| -rw-r--r-- | INSTALL.md | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -10,11 +10,11 @@ amd64). ## Installation from the sources Currently, SMTCoq can be built only from the sources, using the -[version of Coq with native data-structures](https://github.com/maximedenes/native-coq). The design of an opam package is under progress. +[version of Coq with native data-structures](https://github.com/smtcoq/native-coq). The design of an opam package is under progress. 1. Download the git version of Coq with native compilation: ``` -git clone git://github.com/maximedenes/native-coq.git +git clone https://github.com/smtcoq/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 |