diff options
| -rw-r--r-- | README | 9 | ||||
| -rw-r--r-- | configure.ac | 2 |
2 files changed, 9 insertions, 2 deletions
@@ -9,9 +9,16 @@ installed (see below). Execute, ./configure make +You can then "make install" to install in the prefix you gave to +the configure script (/usr/local by default). + To build a source release, use "make dist"; this will include the configure script and all the bits of automake/autoconf/libtool that -are necessary for an independent install. +are necessary for an independent install. You'll find the resulting +tarball in builds/cvc4-${VERSION}.tar.gz. + +To build documentation, use "make doc". Documentation is produced +under doc/ but is not installed by "make install". *** Dependencies diff --git a/configure.ac b/configure.ac index ba5050fae..601258342 100644 --- a/configure.ac +++ b/configure.ac @@ -578,7 +578,7 @@ AC_PROG_ANTLR DX_PDF_FEATURE(OFF) DX_PS_FEATURE(OFF) -DX_DOT_FEATURE(ON) +DX_DOT_FEATURE(OFF) DX_INIT_DOXYGEN($PACKAGE_NAME, config/doxygen.cfg, $srcdir/doc) AC_ARG_VAR(CXXTEST, [path to CxxTest installation]) |