From: Morgan Deters Date: Thu, 18 Nov 2010 03:57:52 +0000 (+0000) Subject: small changes to documentation; also, '\''make doc'\'' doesn't build dot graphs ... X-Git-Tag: cvc5-1.0.0~8726 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ce8115417ad103a6aa978051f3a59f1164cc618f;p=cvc5.git small changes to documentation; also, '\''make doc'\'' doesn't build dot graphs (but nightly build system will produce them) --- diff --git a/README b/README index f4178844d..d064c226d 100644 --- a/README +++ b/README @@ -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])