From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 21 Jul 2017 12:34:53 +0000 (+0200)
Subject: Add a paragraph about pre-defined macros to read_verilog help message
X-Git-Tag: yosys-0.8~384
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=26766da34392aa4dc773c4e0ec36e7a7e59dad3e;p=yosys.git

Add a paragraph about pre-defined macros to read_verilog help message
---

diff --git a/frontends/verilog/verilog_frontend.cc b/frontends/verilog/verilog_frontend.cc
index fe84c8e80..19fc3c6af 100644
--- a/frontends/verilog/verilog_frontend.cc
+++ b/frontends/verilog/verilog_frontend.cc
@@ -168,6 +168,10 @@ struct VerilogFrontend : public Frontend {
 		log("recommended to use a simulator (for example Icarus Verilog) for checking\n");
 		log("the syntax of the code, rather than to rely on read_verilog for that.\n");
 		log("\n");
+		log("Depending on if read_verilog is run in -formal mode, either the macro\n");
+		log("SYNTHESIS or FORMAL is defined automatically. In addition, read_verilog\n");
+		log("always defines the macro YOSYS.\n");
+		log("\n");
 		log("See the Yosys README file for a list of non-standard Verilog features\n");
 		log("supported by the Yosys Verilog front-end.\n");
 		log("\n");