diff options
Diffstat (limited to 'frontends/verific/Makefile.inc')
| -rw-r--r-- | frontends/verific/Makefile.inc | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/frontends/verific/Makefile.inc b/frontends/verific/Makefile.inc index 74a669ef..eca23e58 100644 --- a/frontends/verific/Makefile.inc +++ b/frontends/verific/Makefile.inc @@ -1 +1,16 @@ + OBJS += frontends/verific/verific.o + +ifeq ($(ENABLE_VERIFIC),1) + +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 + +endif + |