diff options
| author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2017-12-09 17:34:58 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2017-12-10 12:02:05 +0100 |
| commit | 8e06c39ed8311aeb36696d9f964550407e1c556e (patch) | |
| tree | 5c511441a8c0b2a9bb2f5732dd4284ed725ad24a /doc/building/gcc/GNULinux-GNAT.rst | |
| parent | 08eb2bfc7144e7698cf570478d6a4e3e81aaf31a (diff) | |
| download | ghdl-8e06c39ed8311aeb36696d9f964550407e1c556e.tar.gz ghdl-8e06c39ed8311aeb36696d9f964550407e1c556e.tar.bz2 ghdl-8e06c39ed8311aeb36696d9f964550407e1c556e.zip | |
clean todos
Diffstat (limited to 'doc/building/gcc/GNULinux-GNAT.rst')
| -rw-r--r-- | doc/building/gcc/GNULinux-GNAT.rst | 34 |
1 files changed, 1 insertions, 33 deletions
diff --git a/doc/building/gcc/GNULinux-GNAT.rst b/doc/building/gcc/GNULinux-GNAT.rst index e35768fdb..3733d763f 100644 --- a/doc/building/gcc/GNULinux-GNAT.rst +++ b/doc/building/gcc/GNULinux-GNAT.rst @@ -17,42 +17,10 @@ On Linux, GHDL is configured by ``configure`` and build by ``make``. .. rubric:: Example: .. code-block:: Bash - + cd <ghdl> mkdir build cd build ../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 |