From 1954c78ea7b6ddc732ac4dc9f02a0d0cbc104a64 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Fri, 13 Oct 2017 20:23:19 +0200 Subject: [PATCH] Add "verific -vlog-libdir" --- frontends/verific/verific.cc | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index f8c1dcd0a..77594b8cf 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -1856,6 +1856,12 @@ struct VerificPass : public Pass { log("Add Verilog include directories.\n"); log("\n"); log("\n"); + log(" verific -vlog-libdir ..\n"); + log("\n"); + log("Add Verilog library directories. Verific will search in this directories to\n"); + log("find undefined modules.\n"); + log("\n"); + log("\n"); log(" verific -vlog-define [=]..\n"); log("\n"); log("Add Verilog defines. (The macros SYNTHESIS and VERIFIC are defined implicitly.)\n"); @@ -1942,6 +1948,12 @@ struct VerificPass : public Pass { goto check_error; } + if (GetSize(args) > argidx && args[argidx] == "-vlog-libdir") { + for (argidx++; argidx < GetSize(args); argidx++) + veri_file::AddYDir(args[argidx].c_str()); + goto check_error; + } + if (GetSize(args) > argidx && args[argidx] == "-vlog-define") { for (argidx++; argidx < GetSize(args); argidx++) { string name = args[argidx]; -- 2.30.2