diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-09-07 17:23:59 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-09-07 17:23:59 +0200 |
commit | a438e1c168b36b1b24ce71ba091d549ba3917b3b (patch) | |
tree | 54695be393a8e10a50f75cce79defe967f794d08 /INSTALL.md | |
parent | 4bfaa0e4f2f9c2e05c245258b95bc3fe643f3e25 (diff) | |
parent | 11f8d5d4d1fa54b7c14c8dd02934a32d1ff69ab6 (diff) | |
download | smtcoq-a438e1c168b36b1b24ce71ba091d549ba3917b3b.tar.gz smtcoq-a438e1c168b36b1b24ce71ba091d549ba3917b3b.zip |
Merge remote-tracking branch 'origin/master' into coq-8.10
Diffstat (limited to 'INSTALL.md')
-rw-r--r-- | INSTALL.md | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -162,6 +162,7 @@ Use the stable version 1.6 of CVC4 that is available either: - as a [MacOs binary](https://github.com/cvc5/cvc5/releases/download/1.6/cvc4-1.6-macos-opt) - from [the sources](https://github.com/cvc5/cvc5/releases/tag/1.6), using the following commands: ``` +./autogen.sh ./configure make ``` |