diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-11-18 03:57:52 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-11-18 03:57:52 +0000 |
commit | ce8115417ad103a6aa978051f3a59f1164cc618f (patch) | |
tree | 88cc9b2f4787e9e38c4918c34a9d1ec4cde4c900 | |
parent | b77f44a6975e6bab468c774d7b34c23e84371ff1 (diff) |
small changes to documentation; also, '\''make doc'\'' doesn't build dot graphs (but nightly build system will produce them)
-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]) |