tags 731701 + confirmed upstream thanks Le 09/12/2013 11:12, Stéphane Glondu a écrit : > Looking at dose3, zip and bz2 are actually optional, and dose3 was > compiled without. I guess this is a mistake.
Indeed, the file common/input.ml (which is the only one using bz2 and zip) is compiled with two "-pp" options, one with the right defines, and one without. It turns out the last one prevails, and the file is compiled without defines. These two -pp options seem to come from _tags. Cheers, -- Stéphane -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/52a5a71e.7030...@debian.org