diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2016-03-02 18:17:24 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2016-03-02 18:17:24 +0100 |
| commit | 23539f231727113d53e4fdeae531d048b21730ae (patch) | |
| tree | 5cdb0d11e4e2cdc27fc5430ef43df1e67247c9c6 | |
| parent | 37f297b89f04155124237acf3d7f220a9dcd1544 (diff) | |
| download | smtcoq-23539f231727113d53e4fdeae531d048b21730ae.tar.gz smtcoq-23539f231727113d53e4fdeae531d048b21730ae.zip | |
No more "configure.sh"
| -rw-r--r-- | INSTALL.md | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -33,7 +33,6 @@ export COQBIN=/home/jdoe/native-coq/bin/ 3. Compile and install SMTCoq by using the commands: ``` -./configure.sh make make install ``` |