diff options
author | Patrick Lehmann <Patrick.Lehmann@tu-dresden.de> | 2017-03-04 20:36:18 +0100 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2017-12-10 12:02:05 +0100 |
commit | 3f5cd97cc29039f8f153541808ca85938c00eef4 (patch) | |
tree | a4877e168191ef1e888f3a37fd7b46ece7daebb6 /doc/building/gcc/GNULinux-GNAT.rst | |
parent | f38b0364b5a769eb97e87c6fbf5fc303101883d2 (diff) | |
download | ghdl-3f5cd97cc29039f8f153541808ca85938c00eef4.tar.gz ghdl-3f5cd97cc29039f8f153541808ca85938c00eef4.tar.bz2 ghdl-3f5cd97cc29039f8f153541808ca85938c00eef4.zip |
Restructured build section. Created smaller files. Created (hidden) sub-ToCs. Added out-dated build instructions for Windows GNAT GPL flow from private README.md.
Diffstat (limited to 'doc/building/gcc/GNULinux-GNAT.rst')
-rw-r--r-- | doc/building/gcc/GNULinux-GNAT.rst | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/doc/building/gcc/GNULinux-GNAT.rst b/doc/building/gcc/GNULinux-GNAT.rst new file mode 100644 index 000000000..d72de34a2 --- /dev/null +++ b/doc/building/gcc/GNULinux-GNAT.rst @@ -0,0 +1,26 @@ +.. _BUILD:mcode:GNULinux-GNAT: + +GNU/Linux with GCC/GNAT +####################### + +On Linux, GHDL is configured by ``configure`` and build 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`` select `mcode` as 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 + sudo make install |