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 /README | |
| parent | b77f44a6975e6bab468c774d7b34c23e84371ff1 (diff) | |
small changes to documentation; also, '\''make doc'\'' doesn't build dot graphs (but nightly build system will produce them)
Diffstat (limited to 'README')
| -rw-r--r-- | README | 9 |
1 files changed, 8 insertions, 1 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 |