Verilog front-end: define `BLACKBOX in -lib mode

diff --git a/frontends/verilog/verilog_frontend.cc b/frontends/verilog/verilog_frontend.cc
index 635c9ce4789c83961a3f138aa3a54110350292fa..416b89bd4ffdbb39a36bd214c675faffa881423f 100644 (file)
--- a/frontends/verilog/verilog_frontend.cc
+++ b/frontends/verilog/verilog_frontend.cc
@@ -108,7 +108,7 @@ struct VerilogFrontend : public Frontend {
                log("        do not run the pre-processor\n");
                log("\n");
                log("    -lib\n");
-               log("        only create empty blackbox modules\n");
+               log("        only create empty blackbox modules. This implies -DBLACKBOX.\n");
                log("\n");
                log("    -noopt\n");
                log("        don't perform basic optimizations (such as const folding) in the\n");
@@ -227,6 +227,7 @@ struct VerilogFrontend : public Frontend {
                        }
                        if (arg == "-lib") {
                                flag_lib = true;
+                               defines_map["BLACKBOX"] = string();
                                continue;
                        }
                        if (arg == "-noopt") {