Makefile: Add install.vpi.local and mention it.

Author: tgingold

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

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: