projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: f7fdd99)
Update verific API version check
authorMiodrag Milanovic <mmicko@gmail.com>
Tue, 30 Jun 2020 10:13:13 +0000 (12:13 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Tue, 30 Jun 2020 10:13:13 +0000 (12:13 +0200)
frontends/verific/verific.cc patch | blob | history

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index ccd13e92f7cdf6b6bd2b734f0055f69f0bf1f584..9785b8eff9c5a44979793ea0f40d390a6e9cd8fa 100644 (file)
--- 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