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