From: Clifford Wolf <clifford@clifford.at>
Date: Mon, 29 Jul 2019 08:29:36 +0000 (+0200)
Subject: Call "read_verilog" with -defer from "read"
X-Git-Tag: working-ls180~1177^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fc462c8243d60ebd769d5ce01142fb7ed49fa8f8;p=yosys.git

Call "read_verilog" with -defer from "read"

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

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 2bf99e58e..06d58a44a 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -2484,7 +2484,7 @@ struct ReadPass : public Pass {
 				args[0] = "verific";
 			} else {
 				args[0] = "read_verilog";
-				args.erase(args.begin()+1, args.begin()+2);
+				args[1] = "-defer";
 			}
 			Pass::call(design, args);
 			return;
@@ -2498,6 +2498,7 @@ struct ReadPass : public Pass {
 				if (args[1] == "-formal")
 					args.insert(args.begin()+1, std::string());
 				args[1] = "-sv";
+				args.insert(args.begin()+1, "-defer");
 			}
 			Pass::call(design, args);
 			return;