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

[Basile STARYNKEVITCH <basile at starynkevitch dot net>]

Dear All

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

The attached patch (with help from Sebastian Pop) to rev 118939 of the
gcc trunk could help. It is trivial, but big because there are several
generated files. It is definitely not perfect, but can be a useful
start.


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

        

-- 
Basile STARYNKEVITCH         http://starynkevitch.net/Basile/ 
email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359 
8, rue de la Faïencerie, 92340 Bourg La Reine, France
*** opinions {are only mines, sont seulement les miennes} ***

Attachment: patch-trunk-rev118939-with-gmp-lib.diff
Description: Text document