diff options
author | Clifford Wolf <clifford@clifford.at> | 2015-11-12 19:28:14 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2015-11-12 19:28:14 +0100 |
commit | b18f3a297475203420e6cf204bd4b7ea0f61e44f (patch) | |
tree | bc507c6737c4a2562785fc24993015deca33e7b1 /frontends | |
parent | fd3e10c2955242e9d1c5438da84b4a2341e79173 (diff) | |
download | yosys-b18f3a297475203420e6cf204bd4b7ea0f61e44f.tar.gz yosys-b18f3a297475203420e6cf204bd4b7ea0f61e44f.tar.bz2 yosys-b18f3a297475203420e6cf204bd4b7ea0f61e44f.zip |
Changes for Verific 3.16_484_32_151112
Diffstat (limited to 'frontends')
-rw-r--r-- | frontends/verific/Makefile.inc | 5 | ||||
-rw-r--r-- | frontends/verific/verific.cc | 4 |
2 files changed, 6 insertions, 3 deletions
diff --git a/frontends/verific/Makefile.inc b/frontends/verific/Makefile.inc index 13f242c4b..68ef9aed1 100644 --- a/frontends/verific/Makefile.inc +++ b/frontends/verific/Makefile.inc @@ -8,8 +8,9 @@ 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) cp -r $(VERIFIC_DIR)/vhdl_packages/vdbs_1987/. share/verific.new/vhdl_vdbs_1987 + $(Q) cp -r $(VERIFIC_DIR)/vhdl_packages/vdbs_1993/. 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 diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 9212cc0ff..81640305e 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -841,7 +841,7 @@ struct VerificPass : public Pass { } if (args.size() > 1 && args[1] == "-vhdl87") { - vhdl_file::SetDefaultLibraryPath((proc_share_dirname() + "verific/vhdl_vdbs_1993").c_str()); + vhdl_file::SetDefaultLibraryPath((proc_share_dirname() + "verific/vhdl_vdbs_1987").c_str()); for (size_t argidx = 2; argidx < args.size(); argidx++) if (!vhdl_file::Analyze(args[argidx].c_str(), "work", vhdl_file::VHDL_87)) log_cmd_error("Reading `%s' in VHDL_87 mode failed.\n", args[argidx].c_str()); @@ -918,10 +918,12 @@ struct VerificPass : public Pass { for (; argidx < args.size(); argidx++) { if (veri_file::GetModule(args[argidx].c_str())) { + log("Running veri_file::Elaborate(\"%s\").\n", args[argidx].c_str()); if (!veri_file::Elaborate(args[argidx].c_str())) log_cmd_error("Elaboration of top module `%s' failed.\n", args[argidx].c_str()); nl_todo.insert(Netlist::PresentDesign()); } else { + log("Running vhdl_file::Elaborate(\"%s\").\n", args[argidx].c_str()); if (!vhdl_file::Elaborate(args[argidx].c_str())) log_cmd_error("Elaboration of top module `%s' failed.\n", args[argidx].c_str()); nl_todo.insert(Netlist::PresentDesign()); |