summaryrefslogtreecommitdiff
path: root/frontends/verific/Makefile.inc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-03-13 17:34:31 +0100
committerClifford Wolf <clifford@clifford.at>2014-03-13 17:34:31 +0100
commit6a53bc7b271662dfc67f055917578ef8c1949fd6 (patch)
tree7fbbb6381e8a9f3c7c7d35c64896a27809e4ba96 /frontends/verific/Makefile.inc
parent34e54cda5b45fb96cd44597622c3cba00e410265 (diff)
Copy Verific vdbs files to Yosys "share" data directory
Diffstat (limited to 'frontends/verific/Makefile.inc')
-rw-r--r--frontends/verific/Makefile.inc15
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
+