[m-rev.] diff: FreeBSD compatibility.

[Julien Fischer]

On Wed, 8 May 2013, Paul Bone wrote:

> On Wed, May 08, 2013 at 02:07:06PM +1000, Julien Fischer wrote:
>>> +Mercury on FreeBSD
>>> +==================
>>> +
>>> +GCC 4.2.1 Compatibility
>>> +-----------------------
>>> +
>>> +Depending on your grade configuration Mercury may work out-of-the-box on
>>> +FreeBSD 9.1.  However if you use a decldebug grade it is possible to hang
>>
>> Is the only problem here that the decldebug grades don't work with GCC
>> 4.2.1?  If so, you should just say the following:
>>
>>     The default version of GCC (version 4.2.1) miscompiles code
>>     generated by Mercury's decldebug grade.  This causes programs using
>>     that grade to sometimes hang.  Installing GCC 4.4.7 ... etc etc
>>
>
> I'm not sure which grades are affected, I only know for certain that
> decldebug is definitly affected.

In that case, just say:

    The default version of GCC (version 4.2.1) miscompiles C code generated
    by the Mercury compiler.  ...

> My FreeBSD machine is slower than I remember so testing takes a while :-(

Is your FreeBSD machine i686 or x86_64?  (Looking through configure it 
looks like we don't support the later for any of the BSDs?)

Cheers,
Julien.