Module: ppl/ppl Branch: master Commit: 61f6bc80eab3dee36ac2fd15e907a86d3633b0bf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61f6bc80eab3d... Author: Roberto Bagnara <bagnara@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,