diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-10-06 18:53:27 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-10-06 18:53:27 +0000 |
commit | 4e883ffc0b88256a966183ac6b87bb5767154cdf (patch) | |
tree | a193f12035e4417834ef08312f50739ae0b39a87 /INSTALL | |
parent | 99cad5495be99efae434177d1537d4cfac35581c (diff) |
* Clean up some options documentation
* Remove defunct --no-theory-registration option
* Point people to Wiki tutorial
* Modernize the cut-release script
* Misc cleanup, documentation
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'INSTALL')
-rw-r--r-- | INSTALL | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -136,8 +136,8 @@ from Fedora RPMs or our Debian packages, the process should be completely automatic, since the libraries and headers are installed in a standard location. If you download the sources yourself, you need to build them in a special way. Fortunately, the -"contrib/build-cudd-with-libtool.sh" script in the CVC4 source tree -does exactly what you need: it patches the CUDD makefiles to use +"contrib/build-cudd-2.4.2-with-libtool.sh" script in the CVC4 source +tree does exactly what you need: it patches the CUDD makefiles to use libtool, builds the libtool libraries, then reverses the patch to leave the makefiles as they were. Once you run this script on an unpacked CUDD 2.4.2 source distribution, then CVC4's configure script @@ -149,9 +149,9 @@ configure script; this makes it a hard requirement rather than an optional add-on. The NYU-provided Debian packaging of CUDD 2.4.2 and CUDD 2.5.0 are -here: +here (along with the CVC4 Debian packages): - deb http://goedel.cims.nyu.edu/cvc4-builds/debian unstable/ + deb http://cvc4.cs.nyu.edu/debian/ unstable/ The Debian source package "cudd", available from the same repository, includes a diff of all changes made to cudd makefiles. |