From 33ea6a40fa3987eb13ae719c4b229b5df7732e2f Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sat, 2 Jul 2016 21:04:43 +0200
Subject: BUILD.txt: add more --disable options to the gcc build.

---
 BUILD.txt | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/BUILD.txt b/BUILD.txt
index 29dcf7425..00fcda30b 100644
--- a/BUILD.txt
+++ b/BUILD.txt
@@ -72,10 +72,13 @@ $ ../mpc-0.8.1/configure --prefix=/usr/local --disable-shared \
   --with-gmp=/usr/local
 $ make; make install
 
-Then configure gcc:
+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.
 $ 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 --with-gmp=/usr/local --disable-lto --disable-multilib \
+  --disable-libssp --disable-libgomp --disable-libquadmath
 $ make -j2
 
 Finally install:
-- 
cgit v1.2.3