Merge pull request #2455 from gsomlo/gls-fedpkg-fixes

[yosys.git] / frontends / verific / Makefile.inc

diff --git a/frontends/verific/Makefile.inc b/frontends/verific/Makefile.inc
index 68ef9aed16d45e968dae8ab30d39cb350c41177f..972f4f9f12a887ebbddf95dd53279a65ba62a09c 100644 (file)
--- a/frontends/verific/Makefile.inc
+++ b/frontends/verific/Makefile.inc
@@ -3,6 +3,8 @@ OBJS += frontends/verific/verific.o
 
 ifeq ($(ENABLE_VERIFIC),1)
 
+OBJS += frontends/verific/verificsva.o
+
 EXTRA_TARGETS += share/verific
 
 share/verific:
@@ -11,6 +13,7 @@ share/verific:
        $(Q) cp -r $(VERIFIC_DIR)/vhdl_packages/vdbs_1987/. share/verific.new/vhdl_vdbs_1987
        $(Q) cp -r $(VERIFIC_DIR)/vhdl_packages/vdbs_1993/. share/verific.new/vhdl_vdbs_1993
        $(Q) cp -r $(VERIFIC_DIR)/vhdl_packages/vdbs_2008/. share/verific.new/vhdl_vdbs_2008
+       $(Q) chmod -R a+rX share/verific.new
        $(Q) mv share/verific.new share/verific
 
 endif