Hi! Thanks for your report! I'll look at this tomorrow and fix the cmake script, if possible. Otherwise I will apply your patch (which indeed fixes the problem, but does not follow the usual cmake-way) Regards Matthias
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org