From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 24 Feb 2019 18:51:30 +0000 (+0100)
Subject: Check if Verific was built with DB_PRESERVE_INITIAL_VALUE
X-Git-Tag: yosys-0.9~303
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a516b4fb5af0d8389fa8aede95ae5a76bec13dcf;p=yosys.git

Check if Verific was built with DB_PRESERVE_INITIAL_VALUE

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

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 94138cdd6..8ee951d20 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -1920,6 +1920,10 @@ struct VerificPass : public Pass {
 			// WARNING: instantiating unknown module 'XYZ' (VERI-1063)
 			Message::SetMessageType("VERI-1063", VERIFIC_ERROR);
 
+#ifndef DB_PRESERVE_INITIAL_VALUE
+#  warning Verific was built without DB_PRESERVE_INITIAL_VALUE.
+#endif
+
 			set_verific_global_flags = false;
 		}