diff options
Diffstat (limited to 'frontends/verific')
| -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)) |