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

[Julien Fischer]

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

The above tarball has a few problems, the version string encoded in the
pre-generated source files is "version 12.08beta-mc1", not 
"rotd-2013-04-27" -- you presumably left an old copy of VERSION lying
around.  Also we now build the source distribution in the hlc.gc.pregen
grade (i.e. HIGHLEVEL_CODE shoud equal "yes" in the comments at the
head of the pre-generated .c files).  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).

Can you please remove it from the download page.

Cheers,
Julien.