diff options
Diffstat (limited to 'doc/building/gcc')
| -rw-r--r-- | doc/building/gcc/GNULinux-GNAT.rst | 32 | ||||
| -rw-r--r-- | doc/building/gcc/Windows-MinGW-GNAT.rst | 30 | ||||
| -rw-r--r-- | doc/building/gcc/index.rst | 47 |
3 files changed, 67 insertions, 42 deletions
diff --git a/doc/building/gcc/GNULinux-GNAT.rst b/doc/building/gcc/GNULinux-GNAT.rst index d72de34a2..e35768fdb 100644 --- a/doc/building/gcc/GNULinux-GNAT.rst +++ b/doc/building/gcc/GNULinux-GNAT.rst @@ -24,3 +24,35 @@ On Linux, GHDL is configured by ``configure`` and build by ``make``. ../configure --prefix=PREFIX make sudo make install + +.. TODO:: + - First configure GHDL, specify GCC source dir and :samp:`prefix` (replace :samp:`/usr/local` with your desired installation directory):: + + ./configure --with-gcc=/path/to/gcc/source/dir --prefix=/usr/local + + - Then, invoke :samp:`make` to copy GHDL sources in the source dir:: + + make copy-sources + + .. HINT:: There are some dependencies for building GCC (:samp:`gmp`, :samp:`mpfr` and :samp:`mpc`). If you have not them installed on your system, you can either build them manually or use the :samp:`download_prerequisite` script provided in the GCC source tree (recommended): :samp:`cd /path/to/gcc/source/dir && ./contrib/download_prerequisites` + + - Then, configure GCC. The list of :samp:`--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:: + + ../gcc-4.9.3/configure --prefix=/usr/local --enable-languages=c,vhdl \ + --disable-bootstrap --disable-lto --disable-multilib --disable-libssp \ + --disable-libgomp --disable-libquadmath ``. + + .. HINT:: Note that the prefix directory must be the same as the one used to configure GHDL. If you have manually built :samp:`gmp`/:samp:`mpfr`/:samp:`mpc` (without using the script in :samp:`contrib`) and if you have installed them in a non-standard directory, you may need to add :samp:`--with-gmp=GMP_INSTALL_DIR`. + + - Then, build and install GCC:: + + make -j2 && make install + + .. HINT:: If you don't want to install :samp:`makeinfo`, do :samp:`make install MAKEINFO=false` instead. + + - Last, build and install GHDL libraries:: + + cd /path/to/ghdl/source/dir + make ghdllib + make install +
\ No newline at end of file diff --git a/doc/building/gcc/Windows-MinGW-GNAT.rst b/doc/building/gcc/Windows-MinGW-GNAT.rst new file mode 100644 index 000000000..0ba1526bb --- /dev/null +++ b/doc/building/gcc/Windows-MinGW-GNAT.rst @@ -0,0 +1,30 @@ +.. _BUILD:gcc:Windows-MinGW-GNAT: + +GHDL with GCC backend build on Windows with GCC/GNAT (MinGW) +############################################################ + +.. TODO:: + Under investigation on how to build that beast. + +.. # + On Windows with MinGW, 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``. + + .. rubric:: Example: + + .. code-block:: Bash + + cd <ghdl> + mkdir build + cd build + ../configure --prefix=PREFIX + make + make install diff --git a/doc/building/gcc/index.rst b/doc/building/gcc/index.rst index 73c9d1e97..377392681 100644 --- a/doc/building/gcc/index.rst +++ b/doc/building/gcc/index.rst @@ -6,20 +6,20 @@ GCC Backend .. rubric:: Requirements * GCC (Gnu Compiler Collection) +* GCC source files * GNAT (Ada compiler for GCC) .. rubric:: Supported platforms -* :ref:`GNU/Linux with GCC <BUILD:mcode:GNULinux-GCC>` -* :ref:`Windows (x86_64) with GNAT GPL (x86) <BUILD:mcode:Windows-GNATGPL>` -* :ref:`Windows (x86_64) with MinGW32/MinGW64 <BUILD:mcode:Windows-WinGW>` +* :ref:`GNU/Linux with GCC <BUILD:gcc:GNULinux-GNAT>` +* :ref:`Windows (x86_64) with MinGW32/MinGW64 <BUILD:gcc:Windows-WinGW-GNAT>` .. toctree:: :hidden: - GNULinux-GNAT - Windows-WinGW + GNU/Linux with GCC/GNAT <GNULinux-GNAT> + Windows with GCC/GNAT (MinGW) <Windows-MinGW-GNAT> @@ -35,46 +35,9 @@ GCC Backend $ make grt-all # Build the GHDL runtime $ make grt.links # Locally install the GHDL runtime -GNU/Linux ---------- - -- First configure GHDL, specify GCC source dir and :samp:`prefix` (replace :samp:`/usr/local` with your desired installation directory):: - - ./configure --with-gcc=/path/to/gcc/source/dir --prefix=/usr/local - -- Then, invoke :samp:`make` to copy GHDL sources in the source dir:: - - make copy-sources - -.. HINT:: There are some dependencies for building GCC (:samp:`gmp`, :samp:`mpfr` and :samp:`mpc`). If you have not them installed on your system, you can either build them manually or use the :samp:`download_prerequisite` script provided in the GCC source tree (recommended): :samp:`cd /path/to/gcc/source/dir && ./contrib/download_prerequisites` - -- Then, configure GCC. The list of :samp:`--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:: - - ../gcc-4.9.3/configure --prefix=/usr/local --enable-languages=c,vhdl \ - --disable-bootstrap --disable-lto --disable-multilib --disable-libssp \ - --disable-libgomp --disable-libquadmath ``. - -.. HINT:: Note that the prefix directory must be the same as the one used to configure GHDL. If you have manually built :samp:`gmp`/:samp:`mpfr`/:samp:`mpc` (without using the script in :samp:`contrib`) and if you have installed them in a non-standard directory, you may need to add :samp:`--with-gmp=GMP_INSTALL_DIR`. - -- Then, build and install GCC:: - - make -j2 && make install - -.. HINT:: If you don't want to install :samp:`makeinfo`, do :samp:`make install MAKEINFO=false` instead. - -- Last, build and install GHDL libraries:: - - cd /path/to/ghdl/source/dir - make ghdllib - make install - -Windows? --------- .. TODO: - Since the content of BUILD.txt is moved to the docs, what shall we do with this line? +gcc version 6.3 [do not modify this line as this is read by scripts]. - Note for ppc64 (and AIX ?) platform: the object file format contains an identifier for the source language. Because gcc doesn't know about the VHDL, gcc crashes very early. This could be fixed with a very simple change in gcc/config/rs6000/rs6000.c, function rs6000_output_function_epilogue (as of gcc 4.8): .. CODE:: C |