From: Miodrag Milanovic Date: Mon, 2 Aug 2021 08:29:16 +0000 (+0200) Subject: Require latest verific X-Git-Tag: yosys-0.10~68 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=be04d8834ea5380a8926255cd6a9482806006b91;p=yosys.git Require latest verific --- diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 357b88043..5a10568c7 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -56,7 +56,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 < 20210603 +#if YOSYSHQ_VERIFIC_API_VERSION < 20210701 # error "Please update your version of YosysHQ flavored Verific." #endif