From 28039c3063f462b03291957dcc9672072a59975e Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Tue, 4 Jul 2017 20:01:30 +0200 Subject: [PATCH] Add Verific Release information to log --- frontends/verific/verific.cc | 12 ++++++++++++ 1 file changed, 12 insertions(+) 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))