diff options
| -rw-r--r-- | Makefile.in | 5 | ||||
| -rw-r--r-- | doc/building/gcc/index.rst | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index d2e1463ff..91a42d0d4 100644 --- a/Makefile.in +++ b/Makefile.in @@ -405,6 +405,11 @@ install.vpi: all.vpi install.dirs $(INSTALL_DATA) -p libghdlvpi$(SOEXT) $(DESTDIR)$(libdir)/ $(INSTALL_DATA) -p $(GRTSRCDIR)/vpi_user.h $(DESTDIR)$(incdir)/ +install.vpi.local: all.vpi + $(MKDIR) -p include lib + $(INSTALL_DATA) -p $(GRTSRCDIR)/vpi_user.h include/ + $(INSTALL_DATA) -p libghdlvpi$(SOEXT) lib/ + ################ Libraries ############################################### LIBSRC_DIR:=$(srcdir)/libraries 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: |