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

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