diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2009-11-24 21:28:03 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2009-11-24 21:28:03 +0000 |
| commit | 6f6a6bc95e661996a08b882ef6c7fdbdd0140e80 (patch) | |
| tree | 34817ff3302977be6ff0f62db1c66b96681b1a77 /README | |
| parent | 811158832b74e3b101af2c7473f4e11a41377dd4 (diff) | |
Partial parser for booleans
Diffstat (limited to 'README')
| -rw-r--r-- | README | 9 |
1 files changed, 6 insertions, 3 deletions
@@ -2,9 +2,12 @@ This is a prerelease version of CVC4; distribution is restricted. For a suggestion of editing CVC4 code with emacs, see README.emacs. -To build, use the top-level script "autogen.sh" to invoke various -autotools. You'll need reasonably new automake, autoconf, and libtool -installed. Then ./configure && make as usual. +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 |