diff options
Diffstat (limited to 'frontends/ast/dpicall.cc')
| -rw-r--r-- | frontends/ast/dpicall.cc | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/frontends/ast/dpicall.cc b/frontends/ast/dpicall.cc index b79bd59e..2eb104fa 100644 --- a/frontends/ast/dpicall.cc +++ b/frontends/ast/dpicall.cc @@ -17,9 +17,12 @@ * */ +#include "ast.h" + +#ifdef YOSYS_ENABLE_PLUGINS + #include <dlfcn.h> #include <ffi.h> -#include "ast.h" typedef void (*ffi_fptr) (); @@ -126,3 +129,12 @@ AST::AstNode *AST::dpi_call(const std::string &rtype, const std::string &fname, return newNode; } +#else /* YOSYS_ENABLE_PLUGINS */ + +AST::AstNode *AST::dpi_call(const std::string&, const std::string &fname, const std::vector<std::string>&, const std::vector<AstNode*>&) +{ + log_error("Can't call DPI function `%s': this version of yosys is built without plugin support\n", fname.c_str()); +} + +#endif /* YOSYS_ENABLE_PLUGINS */ + |