From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 5 Oct 2018 07:26:10 +0000 (+0200)
Subject: Fix compiler warning in verific.cc
X-Git-Tag: yosys-0.9~116^2~17
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=05e1c3906405a26a106d09be94c907ab507a0da6;p=yosys.git

Fix compiler warning in verific.cc

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

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index c5fa58313..06d98611a 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -1676,6 +1676,7 @@ YOSYS_NAMESPACE_END
 
 PRIVATE_NAMESPACE_BEGIN
 
+#ifdef YOSYS_ENABLE_VERIFIC
 bool check_noverific_env()
 {
 	const char *e = getenv("YOSYS_NOVERIFIC");
@@ -1685,6 +1686,7 @@ bool check_noverific_env()
 		return false;
 	return true;
 }
+#endif
 
 struct VerificPass : public Pass {
 	VerificPass() : Pass("verific", "load Verilog and VHDL designs using Verific") { }