diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-06-02 10:14:50 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2019-06-02 10:14:50 +0200 |
| commit | 36120fcc3064d0be20d5b9871a804b226471ceae (patch) | |
| tree | 3cd609b96f4df1ba40392db74e04c522190d1437 /frontends | |
| parent | 90ec2cda4217115fb91206a712befb3e6fa797e5 (diff) | |
| download | yosys-36120fcc3064d0be20d5b9871a804b226471ceae.tar.gz yosys-36120fcc3064d0be20d5b9871a804b226471ceae.tar.bz2 yosys-36120fcc3064d0be20d5b9871a804b226471ceae.zip | |
Only support Symbiotic EDA flavored Verific
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'frontends')
| -rw-r--r-- | frontends/verific/verific.cc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 33d2ac7a8..2bf99e58e 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -48,6 +48,14 @@ USING_YOSYS_NAMESPACE #include "VhdlUnits.h" #include "VeriLibrary.h" +#ifndef SYMBIOTIC_VERIFIC_API_VERSION +# 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 +# error "Please update your version of Symbiotic EDA flavored Verific." +#endif + #ifdef __clang__ #pragma clang diagnostic pop #endif |