From: Miodrag Milanovic <mmicko@gmail.com>
Date: Tue, 30 Jun 2020 10:13:13 +0000 (+0200)
Subject: Update verific API version check
X-Git-Tag: working-ls180~438^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=561890c4e85932b89cb1043a0767dcec6da5993c;p=yosys.git

Update verific API version check
---

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index ccd13e92f..9785b8eff 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -53,7 +53,7 @@ USING_YOSYS_NAMESPACE
 #  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
+#if SYMBIOTIC_VERIFIC_API_VERSION < 202006
 #  error "Please update your version of Symbiotic EDA flavored Verific."
 #endif