diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-07-04 20:01:30 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-07-04 20:01:30 +0200 |
| commit | 28039c3063f462b03291957dcc9672072a59975e (patch) | |
| tree | 3d4ca72890d7b62c0cb8b7b19a65e9e52923111a /frontends | |
| parent | 621787a9e0ab8064d004735889430e20b6e9c274 (diff) | |
| download | yosys-28039c3063f462b03291957dcc9672072a59975e.tar.gz yosys-28039c3063f462b03291957dcc9672072a59975e.tar.bz2 yosys-28039c3063f462b03291957dcc9672072a59975e.zip | |
Add Verific Release information to log
Diffstat (limited to 'frontends')
| -rw-r--r-- | frontends/verific/verific.cc | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index bc0bd60fc..f98c64a5f 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -1044,6 +1044,18 @@ struct VerificPass : public Pass { Message::SetConsoleOutput(0); Message::RegisterCallBackMsg(msg_func); + const char *release_str = Message::ReleaseString(); + time_t release_time = Message::ReleaseDate(); + char *release_tmstr = ctime(&release_time); + + if (release_str == nullptr) + release_str = "(no release string)"; + + for (char *p = release_tmstr; *p; p++) + if (*p == '\n') *p = 0; + + log("Built with Verific %s, released at %s.\n", release_str, release_tmstr); + if (args.size() > 1 && args[1] == "-vlog95") { for (size_t argidx = 2; argidx < args.size(); argidx++) if (!veri_file::Analyze(args[argidx].c_str(), veri_file::VERILOG_95)) |