| |
| OBJS += frontends/verific/verific.o |
| |
| ifeq ($(ENABLE_VERIFIC),1) |
| |
| OBJS += frontends/verific/verificsva.o |
| |
| EXTRA_TARGETS += share/verific |
| |
| 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 |
| |
