diff options
| author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2019-08-31 17:32:35 +0200 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2019-08-31 17:32:35 +0200 |
| commit | b124c3926b05d7d0770989330039518c391f73cf (patch) | |
| tree | ff417a3940604ca8be2f005ae0d93302afcd4519 /doc/building/mcode/GNULinux-GNAT.rst | |
| parent | 6852a8f2b79f87ffb523f0aa4157f23540818887 (diff) | |
| download | ghdl-b124c3926b05d7d0770989330039518c391f73cf.tar.gz ghdl-b124c3926b05d7d0770989330039518c391f73cf.tar.bz2 ghdl-b124c3926b05d7d0770989330039518c391f73cf.zip | |
[doc] Update section 'Getting GHDL' (#906)
* doc: fix version extraction from 'configure'
* doc: update section 'Getting GHDL'
* readme: update
Diffstat (limited to 'doc/building/mcode/GNULinux-GNAT.rst')
| -rw-r--r-- | doc/building/mcode/GNULinux-GNAT.rst | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/doc/building/mcode/GNULinux-GNAT.rst b/doc/building/mcode/GNULinux-GNAT.rst deleted file mode 100644 index 2d7598599..000000000 --- a/doc/building/mcode/GNULinux-GNAT.rst +++ /dev/null @@ -1,27 +0,0 @@ -.. _BUILD:mcode:GNULinux-GNAT: - -mcode Backend on GNU/Linux with GCC/GNAT -######################################## - -On Linux, GHDL is configured by ``configure`` and built by ``make``. - -* First, GHDL needs to be configured. It is common to specify a ``PREFIX`` - (installation directory like ``/usr/local`` or ``/opt/ghdl``). Without any - other option, ``configure`` selects `mcode` as the backend. - -* Next, ``make`` starts the compilation process. - -* Finally, ``make install`` installs GHDL into the installation directory - specified by ``PREFIX``. You may need super user privileges (``sudo ...``). - - -.. rubric:: Example: - -.. code-block:: Bash - - $ cd <ghdl> - $ mkdir build - $ cd build - $ ../configure --prefix=PREFIX - $ make - $ make install |