Michael Tautschnig wrote:
Would it be possible to add a configure option to disable the build of the demos? If you prefer not to do so, just let me know such that we can add a Debian-specific patch.
The reason here is that we don't see a real need for shipping the demos, and the introduce an otherwise not necessary dependency on glpk.
Dear Michael, these options have been added: $ configure --help `configure' configures the Parma Polyhedra Library 0.10pre37 to adapt to many kinds of systems. Usage: ./configure [OPTION]... [VAR=VALUE]... [...] --enable-ppl_lcdd build the ppl_lcdd program --enable-ppl_lpsol build the ppl_lpsol program [...] So you can now say --disable-ppl_lcdd and --disable-ppl_lpsol. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it