blob: 3608dfef07197b3993482e0ec665e5f69f627057 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
This is a prerelease version of CVC4; distribution is restricted.
For a suggestion of editing CVC4 code with emacs, see README.emacs.
To build, you'll need reasonably new automake, autoconf, and libtool
installed. Execute,
./autogen.sh
./configure
make
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.
-- Morgan Deters <mdeters@cs.nyu.edu> Mon, 02 Nov 2009 18:28:47 -0500
|