diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-07-27 12:00:28 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-07-27 12:00:28 +0200 |
| commit | 7661ded8ddf85e8cd80ccce0bec211d9bf46e56b (patch) | |
| tree | 7e2a291eeac687209d5fdd549a433ca757a098ab /frontends/verific/Makefile.inc | |
| parent | 6b34215efde97fe4f1e6ecffb398455f609a9a49 (diff) | |
Fixed verific bindings for new RTLIL api
Diffstat (limited to 'frontends/verific/Makefile.inc')
| -rw-r--r-- | frontends/verific/Makefile.inc | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/frontends/verific/Makefile.inc b/frontends/verific/Makefile.inc index eca23e58..13f242c4 100644 --- a/frontends/verific/Makefile.inc +++ b/frontends/verific/Makefile.inc @@ -6,11 +6,11 @@ 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 + $(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 |