proposed patch

[Raphael Collet]

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