proposed patch

[Denys Duchier]

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:

-------------- next part --------------
A non-text attachment was scrubbed...
Name: PATCH
Type: text/x-patch
Size: 101868 bytes
Desc: proposed patch
Url : http://lists.gforge.info.ucl.ac.be/pipermail/mozart-hackers/attachments/20080714/548dcc4f/PATCH-0001.bin
-------------- next part --------------

Cheers,

--Denys