diff options
| -rw-r--r-- | BUILD.txt | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -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 |