From b3c17274354dd048af202eed86d3ef4f7ceb7bfa Mon Sep 17 00:00:00 2001
From: "Rodrigo A. Melo" <rmelo@inti.gob.ar>
Date: Tue, 9 Feb 2021 14:27:51 -0300
Subject: doc: update instructions about GCC and GNAT Community installation
 (#1635)

---
 doc/development/building/GCC.rst   |  2 +-
 doc/development/building/index.rst | 11 ++++++++---
 2 files changed, 9 insertions(+), 4 deletions(-)

(limited to 'doc/development/building')

diff --git a/doc/development/building/GCC.rst b/doc/development/building/GCC.rst
index 7a8cd9b56..4f45eaf31 100644
--- a/doc/development/building/GCC.rst
+++ b/doc/development/building/GCC.rst
@@ -9,7 +9,7 @@ GCC backend
 
 * GCC (Gnu Compiler Collection)
 * GNAT (Ada compiler for GCC)
-* GCC source files. Download and untar the sources of version 4.9.x, 5.x, 6.x, 7.x, 8.x, 9.x or 10.x.
+* GCC source files. Download and untar the sources of version 4.9.x, 5.x, 6.x, 7.x, 8.x, 9.x or 10.x (`GCC mirror sites <https://gcc.gnu.org/mirrors.html`__).
 
 .. 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``.
 
diff --git a/doc/development/building/index.rst b/doc/development/building/index.rst
index 2c9f09d8d..6a49733bd 100644
--- a/doc/development/building/index.rst
+++ b/doc/development/building/index.rst
@@ -17,9 +17,14 @@ further details.
 
 .. IMPORTANT::
    Since GHDL is written in `Ada`, independently of the code generator you use, a compiler is required. Most GNU/Linux package
-   managers provide a package named ``gcc-ada`` or ``gcc-gnat``. Alternatively, `GNU Ada compiler`, `GNAT GPL`, can be downloaded
-   anonymously from `libre.adacore.com <http://libre.adacore.com/tools/gnat-gpl-edition/>`_ (2014, or later; for x86, 32 or 64 bits).
-   Then, untar and run the doinstall script.
+   managers provide ``gcc-ada`` or ``gcc-gnat`` (which could be outdated). Alternatively, `GNU Ada compiler`, `GNAT GPL`, can be downloaded
+   without registration from `libre.adacore.com <http://libre.adacore.com/tools/gnat-gpl-edition/>`_ (2014, or later; for x86, 32 or 64 bits).
+
+.. HINT::
+   The download page of *GNAT Community Edition* provides the latest version (x86, 64 bits), with a graphical installer
+   (``chmod +x *.bin`` and execute it). Alternatively, you can find a link to *More packages, platforms, versions and sources*
+   at the bottom of the page, where versions previous to 2018 are available as binaries ready to be installed
+   (`untar` and run the `doinstall` script). In any case, you must add ``<GNAT_INSTALL_DIR>/bin`` to your ``PATH``.
 
 .. ATTENTION::
    Since ``v0.37``, GHDL's synthesis features require GCC >=8.1, due to some new GNAT features which are not available in
-- 
cgit v1.2.3