aboutsummaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/building/gcc/GNULinux-GNAT.rst18
1 files changed, 12 insertions, 6 deletions
diff --git a/doc/building/gcc/GNULinux-GNAT.rst b/doc/building/gcc/GNULinux-GNAT.rst
index a8617449d..632c2a5e8 100644
--- a/doc/building/gcc/GNULinux-GNAT.rst
+++ b/doc/building/gcc/GNULinux-GNAT.rst
@@ -5,9 +5,15 @@ GCC Backend on GNU/Linux with GCC/GNAT
.. HINT:: There are some dependencies for building GCC (``gmp``, ``mpfr`` and ``mpc``). If you have not them installed on your system, you can either build them manually or use the ``download_prerequisites`` script provided in the GCC source tree (recommended): ``cd /path/to/gcc/source/dir && ./contrib/download_prerequisites``.
-* First configure GHDL, specify GCC source directory and ``PREFIX`` (installation directory like ``/usr/local`` or ``/opt/ghdl``).
-* Next, invoke ``make`` to copy GHDL sources in the source directory.
-* Then, configure GCC. The list of ``--disable`` configure options can be adjusted to your needs. GHDL does not require all these optional libraries and disabling them will speed-up the build.
+* First configure GHDL, specify GCC source directory and installation prefix
+ (like ``/usr/local`` or ``/opt/ghdl``).
+
+* Next, invoke ``make copy-sources`` to copy GHDL sources in the source
+ directory.
+
+* Then, configure GCC. The list of ``--disable`` configure options can be
+ adjusted to your needs. GHDL does not require all these optional libraries
+ and disabling them will speed-up the build.
* Now, build and install GCC with ``make``.
@@ -20,7 +26,7 @@ GCC Backend on GNU/Linux with GCC/GNAT
$ cd <ghdl>
$ mkdir build
$ cd build
- $ ../configure --with-gcc=/path/to/gcc/source/dir --prefix=PREFIX
+ $ ../configure --with-gcc=/path/to/gcc/source/dir --prefix=/usr/local
$ make copy-sources
$ mkdir gcc-objs; cd gcc-objs
$ /path/to/gcc/source/dir/configure --prefix=/usr/local --enable-languages=c,vhdl \
@@ -31,8 +37,8 @@ GCC Backend on GNU/Linux with GCC/GNAT
$ make ghdllib
$ make install
-.. HINT:: Note that 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``.
+.. HINT:: Note that the prefix directory to configure ``gcc`` 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``.
.. HINT:: If your system gcc was configured with ``--enable-default-pie`` (check if that option appears in the output of ``gcc -v``), you should also add it.
-.. HINT:: If you don't want to install ``makeinfo``, do ``make install MAKEINFO=false`` instead.
+.. HINT:: If you don't want to install ``makeinfo``, do ``make install MAKEINFO=true`` instead.