From bb790acedf54d4f6d9194a89b8481cf3b0d3106b Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 10 Oct 2016 06:39:28 +0200
Subject: Adjust build.txt for issue #159

Fix issue #159
---
 BUILD.txt | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'BUILD.txt')

diff --git a/BUILD.txt b/BUILD.txt
index 0119fc50b..0d6c3c496 100644
--- a/BUILD.txt
+++ b/BUILD.txt
@@ -70,9 +70,13 @@ Then configure gcc.  The list of --disable configure options could be
 adjusted for your needs.  GHDL don't require all these optional
 libraries and disabling them speed-up the build. Note the prefix
 directory must be the same as the one used to configure ghdl.
+If you have manually built gmp/mpfr/mpc (without using the script
+in contrib) and if you have installed them in a non-standard
+directory, you may need to add --with-gmp=GMP_INSTALL_DIR.
+
 $ mkdir gcc-objs; cd gcc-objs
 $ ../gcc-4.9.3/configure --prefix=/usr/local --enable-languages=c,vhdl \
-  --disable-bootstrap --with-gmp=/usr/local --disable-lto --disable-multilib \
+  --disable-bootstrap --disable-lto --disable-multilib \
   --disable-libssp --disable-libgomp --disable-libquadmath
 $ make -j2
 
-- 
cgit v1.2.3