diff options
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 5 |
1 files changed, 5 insertions, 0 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 |