mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-05 17:14:08 +00:00
Require latest verific
This commit is contained in:
parent
10bcc4e192
commit
be04d8834e
|
@ -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
|
||||
|
||||
|
|
Loading…
Reference in a new issue