[PPL-devel] [GIT] ppl/ppl(master): Explained the `--disable-ppl_lcdd' and `--disable-ppl_lcdd' configure

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 61f6bc80eab3dee36ac2fd15e907a86d3633b0bf
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61f6bc80eab3dee36ac2fd15e907a86d3633b0bf

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Mar 24 10:10:06 2009 +0100

Explained the `--disable-ppl_lcdd' and `--disable-ppl_lcdd' configure
options.

---

 README.configure |   33 +++++++++++++++++++++++++++++++--
 TODO             |    2 --
 2 files changed, 31 insertions(+), 4 deletions(-)

diff --git a/README.configure b/README.configure
index 017957e..9b97730 100644
--- a/README.configure
+++ b/README.configure
@@ -15,7 +15,8 @@ Contents
 5. Configuring the Language Interfaces
 6. Configuring for Optimized Performance
 7. Configuring for Debugging
-8. Using the CVS Sources
+8. Programs that Come with the Library
+9. Using the CVS Sources
 
 
 1. The Standard Thing (configure, make, make install)
@@ -401,7 +402,35 @@ In order to assess the coverage of the PPL test suite, the
 code to be used in conjunction with the `gcov' coverage testing tool.
 
 
-8. Using the CVS Sources
+8. Programs that Come with the Library
+--------------------------------------
+
+The PPL is shipped with two programs that are interesting per se, and
+allow to sanity-check the build as well as to obtain performance
+comparisons.  The first such program is `ppl_lpsol', which offers some
+of the functionality of GLPK's `glpsol' using the service of the
+PPL, including its simplex solver.  Since `ppl_lpsol' uses GLPK's
+input routines, it is only built if a suitable version of GLPK is
+available.  If you prefer `ppl_lpsol' not to be built, use the
+configure option
+
+  --disable-ppl_lpsol
+
+Another program that is built by default and is used for regression
+testing and build validation is `ppl_lcdd'.  This is a program for
+vertex/facet enumeration, accepting the same input format as the
+similar programs shipped with cddlib and lrslib.  If you prefer `ppl_lcdd'
+not to be built, use the configure option
+
+  --disable-ppl_lcdd
+
+Disabling these programs will shorten the compilation time by a few
+seconds, and the time spent in `make check' by a dozen of minutes.
+In exchange, you will give up an important opportunity to discover
+whether the version of PPL you have built has been miscompiled.
+
+
+9. Using the CVS Sources
 ------------------------
 
 If you use the CVS sources, then you need recent versions of Autoconf
diff --git a/TODO b/TODO
index 49aff25..3e5ca97 100644
--- a/TODO
+++ b/TODO
@@ -8,8 +8,6 @@ Enhancements for PPL 0.10.1 or later versions
   or not, with failure or not), the latter `make check' can succeed
   without testing anything.
 - Do not enable the Prolog interfaces by default in the release tarballs.
-- Explain the `--enable-ppl_lcdd' and `--enable-ppl_lpsol' in
-  README.configure.
 - Check the configuration dependent documentation for Prolog,