ygrek <[email protected]> writes: --disable- options are not for ./configure, but for --src/discover.ml which is run at pre-build step. I couldn't figure out how to pass it through ./configure. But you could probably patch _oasis and setup.ml to enable it..
OK, then I leave the current patch in place. I filed a bug report upstream, because, IMHO, src/discover.ml should disable not-working stuff automatically. @Stéphane: please pull before uploading, I changed the discription of the patch and moved the tag. Bye, Hendrik -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
