[m-rev.] diff: disable mfilterjavac by default

[Julien Fischer]

On Mon, 29 Apr 2013, Julien Fischer wrote:

>
> On Sun, 28 Apr 2013, Paul Bone wrote:
>
>> On Tue, Apr 23, 2013 at 05:41:43PM +1000, Julien Fischer wrote:
>>> Disable mfilterjavac for now.
>>> 
>>> mfilterjavac is currently causing problems when installing the java grade
>>> from
>>> the stage 2 dir.  It can be re-enabled when the following sequence of
>>> actions
>>> works correctly:
>>> 
>>> (1) Build stage 1 using rotd-2013-04-18
>>> (2) Bootcheck (or otherwise build the stage 2 compiler).
>>> (3) cd stage2 && mmake install (with the java grade as one of the grades
>>>     to install).
>>> 
>> 
>> I've tested these steps. they work for me, the mfilterjavac tool is built
>> and installed bin/.  I've built this ROTD from the current version of
>> master.
>> 
>> http://dl.mercurylang.org/rotd/mercury-srcdist-rotd-2013-04-27.tar.gz

...

> Since you didn't use the pregen grades here it's likely that this
> particular tarball is affected by the problems that grade was intended
> to fix (i.e. it's broken).

Actually, it's broken for a simpler reason than that, since configure
will delete the pre-generated C files as the PREGENERATED_DIST directive
is not present and they don't otherwise match the settings inferred by
configure.

Cheers,
Julien.