summaryrefslogtreecommitdiff
path: root/frontends/verific/Makefile.inc
blob: 13f242c4b1a3b35e245cf0bd5d0e6de33323e324 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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