proposed patch

[Raphael Collet]

Thanks for the patches (rev 17073 and 17074), Denys.  I will apply them 
on the bug fix branch, so they will be part of the next release.

Cheers,
raph

Raphael Collet wrote:
> Dear Denys,
> 
> Thanks for the patch!  I have checked it in both on the trunk and the 
> bug fix branch mozart-1-4-x.  Do you have a patch for config.guess and 
> config.sub?  (You can commit it directly to the trunk and the branch, if 
> you want.)
> 
> Cheers,
> raph
> 
> 
> Denys Duchier wrote:
>> 1) mozart does not compile for me because gmp.h references std::FILE but
>> <cstdio> has not been included.  I added a patch for this.
>>
>> 2) config.guess and config.sub were very outdated.  I replaced them with
>> recent versions in the two relevant places.
>>
>> 3) I have added support for --enable-opt=native to cause the build to
>> use -march=native which is useful with recent gcc.
>>
>> Here is a proposed patch for these modifications:
>>
>>
>>
>> ------------------------------------------------------------------------
>>
>>
>> Cheers,
>>
>> --Denys
>>
>>
>> ------------------------------------------------------------------------
>>
>> _________________________________________________________________________________ 
>>
>> mozart-hackers mailing list                           
>> mozart-hackers at mozart-oz.org      
>> http://www.mozart-oz.org/mailman/listinfo/mozart-hackers
> 
> _________________________________________________________________________________ 
> 
> mozart-hackers mailing list                           
> mozart-hackers at mozart-oz.org      
> http://www.mozart-oz.org/mailman/listinfo/mozart-hackers