diff options
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 |