Add "verific -vlog-libdir"

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index f8c1dcd0ab04e20f49224469eb18c58e7009c312..77594b8cfd3f6178d85949b83c5bc26bba36e464 100644 (file)
--- 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 <directory>..\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 <macro>[=<value>]..\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];