diff options
Diffstat (limited to 'frontends/verific/Makefile.inc')
| -rw-r--r-- | frontends/verific/Makefile.inc | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/frontends/verific/Makefile.inc b/frontends/verific/Makefile.inc new file mode 100644 index 000000000..13f242c4b --- /dev/null +++ b/frontends/verific/Makefile.inc @@ -0,0 +1,16 @@ + +OBJS += frontends/verific/verific.o + +ifeq ($(ENABLE_VERIFIC),1) + +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 share/verific.new/vhdl_vdbs_1993 + $(Q) cp -r $(VERIFIC_DIR)/vhdl_packages/vdbs_2008 share/verific.new/vhdl_vdbs_2008 + $(Q) mv share/verific.new share/verific + +endif + |