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 eca23e58c5eb61a38983ac2bb93b3c7d86a1da60..972f4f9f12a887ebbddf95dd53279a65ba62a09c 100644 (file)
--- a/frontends/verific/Makefile.inc
+++ b/frontends/verific/Makefile.inc
@@ -3,14 +3,18 @@ OBJS += frontends/verific/verific.o
 
 ifeq ($(ENABLE_VERIFIC),1)
 
+OBJS += frontends/verific/verificsva.o
+
 EXTRA_TARGETS += share/verific
 
 share/verific:
-       rm -rf share/verific.new
-       mkdir -p share/verific.new
-       cp -r $(VERIFIC_DIR)/vhdl_packages/vdbs share/verific.new/vhdl_vdbs_1993
-       cp -r $(VERIFIC_DIR)/vhdl_packages/vdbs_2008 share/verific.new/vhdl_vdbs_2008
-       mv share/verific.new share/verific
+       $(P) rm -rf share/verific.new
+       $(Q) mkdir -p share/verific.new
+       $(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