From 11f8d5d4d1fa54b7c14c8dd02934a32d1ff69ab6 Mon Sep 17 00:00:00 2001 From: Chantal Keller Date: Tue, 7 Sep 2021 17:23:27 +0200 Subject: Compilation instructions for CVC4 --- INSTALL.md | 1 + 1 file changed, 1 insertion(+) diff --git a/INSTALL.md b/INSTALL.md index 97d0098..abaa405 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -163,6 +163,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 ``` -- cgit