Re: [PPL-devel] Option to disable build of demos?

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