diff options
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 38b1cf590..63aaa366b 100644 --- a/Makefile.in +++ b/Makefile.in @@ -384,6 +384,8 @@ install.grt: libgrt.a grt.lst install.dirs $(INSTALL_DATA) libgrt.a $(DESTDIR)$(VHDL_LIB_DIR)/libgrt.a $(INSTALL_DATA) grt.lst $(DESTDIR)$(VHDL_LIB_DIR)/grt.lst $(INSTALL_DATA) $(GRTSRCDIR)/grt.ver $(DESTDIR)$(VHDL_LIB_DIR)/grt.ver + test "x$(LIBBACKTRACE)" = x || $(INSTALL_DATA) $(LIBBACKTRACE) \ + $(DESTDIR)$(VHDL_LIB_DIR)/libbacktrace.a ################ VPI ##################################################### |