Dear Developers,
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.
Thanks, Michael
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.
Why don't you ship them in separate packages? For example, Fedora ships them in the ppl-utils package.
In any case, we can certainly add a configure option to disable them. Cheers,
Roberto
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
participants (2)
-
Michael Tautschnig -
Roberto Bagnara