Add "verific -L"

Signed-off-by: Clifford Wolf <clifford@clifford.at>

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 9f9eeb764c2fc6574fbb7ace54aa06bac4c748fd..c6839041813f5f189c6d9bdd95dffc9fe273a7c3 100644 (file)
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -1939,12 +1939,18 @@ struct VerificPass : public Pass {
                log("Load the specified VHDL files into Verific.\n");
                log("\n");
                log("\n");
-               log("    verific -work <libname> {-sv|-vhdl|...} <hdl-file>\n");
+               log("    verific [-work <libname>] {-sv|-vhdl|...} <hdl-file>\n");
                log("\n");
                log("Load the specified Verilog/SystemVerilog/VHDL file into the specified library.\n");
                log("(default library when -work is not present: \"work\")\n");
                log("\n");
                log("\n");
+               log("    verific [-L <libname>] {-sv|-vhdl|...} <hdl-file>\n");
+               log("\n");
+               log("Look up external definitions in the specified library.\n");
+               log("(-L may be used more than once)\n");
+               log("\n");
+               log("\n");
                log("    verific -vlog-incdir <directory>..\n");
                log("\n");
                log("Add Verilog include directories.\n");
@@ -2158,12 +2164,17 @@ struct VerificPass : public Pass {
                        goto check_error;
                }
 
+               veri_file::RemoveAllLOptions();
                for (; argidx < GetSize(args); argidx++)
                {
                        if (args[argidx] == "-work" && argidx+1 < GetSize(args)) {
                                work = args[++argidx];
                                continue;
                        }
+                       if (args[argidx] == "-L" && argidx+1 < GetSize(args)) {
+                               veri_file::AddLOption(args[++argidx].c_str());
+                               continue;
+                       }
                        break;
                }