diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-09-27 16:17:53 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-09-27 16:17:53 +0200 |
| commit | f9a307a50b5ce67b67d2b53e8c1334ea23ffd997 (patch) | |
| tree | 5a591d0d03c9623abc02aaa3773458193f67ffa1 /frontends/ast | |
| parent | bcd2625a8247ddbcf4a8a819eadcb03846537223 (diff) | |
namespace Yosys
Diffstat (limited to 'frontends/ast')
| -rw-r--r-- | frontends/ast/dpicall.cc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/frontends/ast/dpicall.cc b/frontends/ast/dpicall.cc index 2eb104fa..e5b1ff9c 100644 --- a/frontends/ast/dpicall.cc +++ b/frontends/ast/dpicall.cc @@ -24,6 +24,8 @@ #include <dlfcn.h> #include <ffi.h> +YOSYS_NAMESPACE_BEGIN + typedef void (*ffi_fptr) (); static ffi_fptr resolve_fn (std::string symbol_name) @@ -129,12 +131,18 @@ AST::AstNode *AST::dpi_call(const std::string &rtype, const std::string &fname, return newNode; } +YOSYS_NAMESPACE_END + #else /* YOSYS_ENABLE_PLUGINS */ +YOSYS_NAMESPACE_BEGIN + 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()); } +YOSYS_NAMESPACE_END + #endif /* YOSYS_ENABLE_PLUGINS */ |