diff options
| author | gritbub <38131016+gritbub@users.noreply.github.com> | 2018-05-18 17:26:51 -0500 |
|---|---|---|
| committer | gritbub <38131016+gritbub@users.noreply.github.com> | 2018-06-01 14:18:09 -0500 |
| commit | 8122c18944b69305060b03fad5b5a46ca59c0975 (patch) | |
| tree | 5bd329ebfcdc411b35372fba2873269acea2c1d7 /doc/building/gcc/GNULinux-GNAT.rst | |
| parent | e135fe7fbe1a79256f6f4ab2c5a5cd1666166197 (diff) | |
| download | ghdl-8122c18944b69305060b03fad5b5a46ca59c0975.tar.gz ghdl-8122c18944b69305060b03fad5b5a46ca59c0975.tar.bz2 ghdl-8122c18944b69305060b03fad5b5a46ca59c0975.zip | |
Rephrase documentation - typos, grammatical nuance, and links
Diffstat (limited to 'doc/building/gcc/GNULinux-GNAT.rst')
| -rw-r--r-- | doc/building/gcc/GNULinux-GNAT.rst | 14 |
1 files changed, 5 insertions, 9 deletions
diff --git a/doc/building/gcc/GNULinux-GNAT.rst b/doc/building/gcc/GNULinux-GNAT.rst index 632c2a5e8..f58e3b2ef 100644 --- a/doc/building/gcc/GNULinux-GNAT.rst +++ b/doc/building/gcc/GNULinux-GNAT.rst @@ -3,17 +3,13 @@ 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``. +.. HINT:: There are some dependencies for building GCC (``gmp``, ``mpfr`` and ``mpc``). If you have not installed them 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 installation prefix - (like ``/usr/local`` or ``/opt/ghdl``). +* 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. +* 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. +* 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``. @@ -37,7 +33,7 @@ GCC Backend on GNU/Linux with GCC/GNAT $ make ghdllib $ make install -.. 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:: 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. |