summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--INSTALL8
1 files changed, 8 insertions, 0 deletions
diff --git a/INSTALL b/INSTALL
index 0e775af3c..e69b92d0b 100644
--- a/INSTALL
+++ b/INSTALL
@@ -201,6 +201,14 @@ specific architecture.
this option is used. Thus it must not be used in
binary distributions.
+--with-sysroot=DIR Search for dependent libraries within DIR (which
+ may be useful in cross-compilation). If you use
+ this option, you need to have Libtool 2.4+ on
+ the target system. See Libtool 2.4+'s NEWS file.
+ Technical information can be found at [1].
+
+[1] http://permalink.gmane.org/gmane.comp.gnu.libtool.patches/10111
+
Note: By default, the configure script tries to set CC/CFLAGS to GMP's
ones (this feature needs GMP 4.3.0 or later, or the --with-gmp-build
option). However this is not guaranteed to work as the configure script