diff options
author | Miodrag Milanovic <mmicko@gmail.com> | 2021-01-30 09:23:46 +0100 |
---|---|---|
committer | Miodrag Milanovic <mmicko@gmail.com> | 2021-01-30 09:23:46 +0100 |
commit | d99c032c278f3732c95a368c7e6d9573d99ae2e4 (patch) | |
tree | 380a5858d5ec235920509382aaeec831315287a4 | |
parent | 1057273852ce1e25bffc2def67312eb34be48b00 (diff) | |
download | yosys-d99c032c278f3732c95a368c7e6d9573d99ae2e4.tar.gz yosys-d99c032c278f3732c95a368c7e6d9573d99ae2e4.tar.bz2 yosys-d99c032c278f3732c95a368c7e6d9573d99ae2e4.zip |
Require latest Verific build
-rw-r--r-- | frontends/verific/verific.cc | 2 |
1 files changed, 1 insertions, 1 deletions
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 |