--with-gmp-lib ... options to configure (tentative patch)

Kaveh R. GHAZI ghazi@caip.rutgers.edu
Sat Nov 18 00:42:00 GMT 2006

On Fri, 17 Nov 2006, Basile STARYNKEVITCH wrote:

> Sometimes, it could be useful to explicitly give on the topmost
> configure options like --with-gmp-lib and --with-gmp-includes to
> explicit the directories of libgmp and of its headerq.
> It might help for http://gcc.gnu.org/ml/gcc/2006-11/msg00650.html
> ChangeLog follows
> =============================================================
> 2006-11-17  Basile STARYNKEVITCH  <basile@starynkevitch.net>
> 	* configure: regenerated.
> 	* gcc/configure: regenerated.
>  	* gcc/configure.ac: added --with-mpfr-lib and --with-mpfr-include
> 	   removed --with-mpfr-dir and likewise for gmp
>         * configure.in: ditto, with updated help message

I don't think we should be removing the existing --with-* flags.  That
will break an existing working feature.

Also, you claim to modify gcc/configure.ac in the ChangeLog, but all I see
is the addition of a blank line.  All the functional changes are all at
the top level (as I believe they should be, so it's just the ChangeLog
that's wrong.)


PS: As noted in the above URL, I have this item on my TODO list.
(Actually testing a patch as we speak.)  So you don't necessarily have to
worry about it.

Kaveh R. Ghazi			ghazi@caip.rutgers.edu

More information about the Gcc-patches mailing list