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

timothy-king · Jun 21, 2018 · 31043ac · 31043ac
1 parent 13253bf
commit 31043ac
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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!]