diff options
Diffstat (limited to 'doc/building/Building.rst')
-rw-r--r-- | doc/building/Building.rst | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/building/Building.rst b/doc/building/Building.rst index f8f939c57..b06548157 100644 --- a/doc/building/Building.rst +++ b/doc/building/Building.rst @@ -61,3 +61,13 @@ created. (32 or 64 bits). `GNAT GPL` can be downloaded anonymously from `libre.adacore.com <http://libre.adacore.com/tools/gnat-gpl-edition/>`_. Then, untar and run the doinstall script. Alternatively, most GNU/Linux provide a package named ``gcc-ada`` or ``gcc-gnat``. + +.. HINT:: + In these instructions, the configure script is executed in the source directory; but you can execute in a different + directory too, like this: + + .. CODE:: Bash + + $ mkdir ghdl-objs + $ cd ghdl-objs + $ ../path/to/ghdl/configure ... |