From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Thu, 21 Jun 2018 02:01:28 +0000 (-0700)
Subject: Updated installation instructions to mention autogen.sh (#1477)
X-Git-Tag: cvc5-1.0.0~4962
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=31043ac507a58d757f39eda3c74d0ae8884a071b;p=cvc5.git

Updated installation instructions to mention autogen.sh (#1477)
---

diff --git a/INSTALL b/INSTALL
index e6ee4f93d..09eab318c 100644
--- a/INSTALL
+++ b/INSTALL
@@ -52,6 +52,7 @@ explained below.
 Once the build dependences are satisfied, you should be able to
 configure, make, make check, and make install without incident:
 
+    ./autogen.sh
     ./configure   [use --prefix to specify a prefix; default /usr/local]
     make
     make check    [optional but a good idea!]