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

[Michael Tautschnig]

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