[PPL-devel] Option to disable build of demos?
bagnara at cs.unipr.it
Wed Oct 22 13:55:52 CEST 2008
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.
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
mailto:bagnara at cs.unipr.it
More information about the PPL-devel