From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 2 Jun 2019 08:14:50 +0000 (+0200)
Subject: Only support Symbiotic EDA flavored Verific
X-Git-Tag: yosys-0.9~97
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=36120fcc3064d0be20d5b9871a804b226471ceae;p=yosys.git

Only support Symbiotic EDA flavored Verific

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

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 33d2ac7a8..2bf99e58e 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -48,6 +48,14 @@ USING_YOSYS_NAMESPACE
 #include "VhdlUnits.h"
 #include "VeriLibrary.h"
 
+#ifndef SYMBIOTIC_VERIFIC_API_VERSION
+#  error "Only Symbiotic EDA flavored Verific is supported. Please contact office@symbioticeda.com for commercial support for Yosys+Verific."
+#endif
+
+#if SYMBIOTIC_VERIFIC_API_VERSION < 1
+#  error "Please update your version of Symbiotic EDA flavored Verific."
+#endif
+
 #ifdef __clang__
 #pragma clang diagnostic pop
 #endif