diff options
| author | clairexen <claire@symbioticeda.com> | 2020-06-30 17:05:51 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-30 17:05:51 +0200 |
| commit | 79d81b7f4f7dc50524eeac38bbcfdbff5394ccd9 (patch) | |
| tree | 03fb8bf7beb655865ce885846900a296bf0e9090 | |
| parent | 817ae04ee0c445efaf83e9847d4956f2dae0d857 (diff) | |
| parent | 561890c4e85932b89cb1043a0767dcec6da5993c (diff) | |
| download | yosys-79d81b7f4f7dc50524eeac38bbcfdbff5394ccd9.tar.gz yosys-79d81b7f4f7dc50524eeac38bbcfdbff5394ccd9.tar.bz2 yosys-79d81b7f4f7dc50524eeac38bbcfdbff5394ccd9.zip | |
Merge pull request #2209 from YosysHQ/verific_update
Update verific API version check
| -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 ccd13e92f..9785b8eff 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -53,7 +53,7 @@ USING_YOSYS_NAMESPACE # error "Only Symbiotic EDA flavored Verific is supported. Please contact office@symbioticeda.com for commercial support for Yosys+Verific." #endif -#if SYMBIOTIC_VERIFIC_API_VERSION < 1 +#if SYMBIOTIC_VERIFIC_API_VERSION < 202006 # error "Please update your version of Symbiotic EDA flavored Verific." #endif |