From: Miodrag Milanovic <mmicko@gmail.com>
Date: Sat, 30 Jan 2021 08:23:46 +0000 (+0100)
Subject: Require latest Verific build
X-Git-Tag: working-ls180~98
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d99c032c278f3732c95a368c7e6d9573d99ae2e4;p=yosys.git

Require latest Verific build
---

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 614124a29..81e14ac41 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -55,7 +55,7 @@ USING_YOSYS_NAMESPACE
 #  error "Only YosysHQ flavored Verific is supported. Please contact office@yosyshq.com for commercial support for Yosys+Verific."
 #endif
 
-#if YOSYSHQ_VERIFIC_API_VERSION < 20201201
+#if YOSYSHQ_VERIFIC_API_VERSION < 20210101
 #  error "Please update your version of YosysHQ flavored Verific."
 #endif