From: Tobias Schlüter [EMAIL PROTECTED]
[EMAIL PROTECTED] and @option{--with-gmp-include}. Alternatively,
+if a GMP source ditribution is found in a subdirectory of you GCC
+sources named @file{gmp}, it will be built together with [EMAIL PROTECTED]
+Library is not installed in your default
On Tue, 14 Oct 2008, Tobias Schlüter wrote:
I'll take care of this, provided Gerald approves the change. Gerald, if
you think that copyright is a problem, I'll gladly rephrase it.
Thanks for the change, it looks like a good one. You may want to make
one or the other adjustment for extra
Gerald Pfeifer wrote:
On Tue, 14 Oct 2008, Tobias Schlüter wrote:
I'll take care of this, provided Gerald approves the change. Gerald, if
you think that copyright is a problem, I'll gladly rephrase it.
Thanks for the change, it looks like a good one. You may want to make
one or the other