projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 13253bf)
Updated installation instructions to mention autogen.sh (#1477)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 21 Jun 2018 02:01:28 +0000 (19:01 -0700)
committerAina Niemetz <aina.niemetz@gmail.com>
Thu, 21 Jun 2018 02:01:28 +0000 (19:01 -0700)
INSTALL patch | blob | history

diff --git a/INSTALL b/INSTALL
index e6ee4f93d3a5fb1185b50b1871fdb2523e34b65a..09eab318c25a2fa2f05146f3af1f8563caa2e3f2 100644 (file)
--- 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!]