diff options
author | Tristan Gingold <tgingold@free.fr> | 2017-12-19 18:10:19 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2017-12-21 07:36:46 +0100 |
commit | a8914d76b56ded8baed27d7a5a77b783191cfa9a (patch) | |
tree | 3a511b0e310304e8fcbfcaac4f939c06470d386e /doc | |
parent | 53829efd96276a1cfd1b249cfc7cb53c549fda73 (diff) | |
download | ghdl-a8914d76b56ded8baed27d7a5a77b783191cfa9a.tar.gz ghdl-a8914d76b56ded8baed27d7a5a77b783191cfa9a.tar.bz2 ghdl-a8914d76b56ded8baed27d7a5a77b783191cfa9a.zip |
Makefile: Add install.vpi.local and mention it.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/building/gcc/index.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/building/gcc/index.rst b/doc/building/gcc/index.rst index 2b6e33c8c..5d76e1684 100644 --- a/doc/building/gcc/index.rst +++ b/doc/building/gcc/index.rst @@ -23,7 +23,7 @@ GCC Backend $ make ghdl_gcc # Build the driver $ make libs.vhdl.local_gcc # Compile the vhdl libraries $ make grt-all # Build the GHDL runtime - $ make grt.links # Locally install the GHDL runtime + $ make install.vpi.local # Locally install vpi files In ``src/ortho/gcc``, create a ``Makefile.conf`` file that sets the following variables: |