diff options
| author | Rodrigo A. Melo <rmelo@inti.gob.ar> | 2021-02-09 14:27:51 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-09 18:27:51 +0100 |
| commit | b3c17274354dd048af202eed86d3ef4f7ceb7bfa (patch) | |
| tree | 3f60248080f8dc020e2d9fc6fd0f231078a0f9d3 /doc | |
| parent | ad9906d3f05946cff9b8d10e8639c8bd881768c1 (diff) | |
| download | ghdl-b3c17274354dd048af202eed86d3ef4f7ceb7bfa.tar.gz ghdl-b3c17274354dd048af202eed86d3ef4f7ceb7bfa.tar.bz2 ghdl-b3c17274354dd048af202eed86d3ef4f7ceb7bfa.zip | |
doc: update instructions about GCC and GNAT Community installation (#1635)
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/development/building/GCC.rst | 2 | ||||
| -rw-r--r-- | doc/development/building/index.rst | 11 |
2 files changed, 9 insertions, 4 deletions
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 |