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 /Makefile.in | |
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 '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 |