diff options
author | Benedikt Tutzer <e1225461@student.tuwien.ac.at> | 2018-08-20 16:04:43 +0200 |
---|---|---|
committer | Benedikt Tutzer <e1225461@student.tuwien.ac.at> | 2018-08-20 16:04:43 +0200 |
commit | 95d65971f3f114adb8b62a9d29bc0829467e3d81 (patch) | |
tree | 8dd1ff0da0379d74a816295dd32d2b4f58293df8 /passes/cmds | |
parent | d87c7df27f8268ab849d3f9d84c4b000f83b44e2 (diff) | |
download | yosys-95d65971f3f114adb8b62a9d29bc0829467e3d81.tar.gz yosys-95d65971f3f114adb8b62a9d29bc0829467e3d81.tar.bz2 yosys-95d65971f3f114adb8b62a9d29bc0829467e3d81.zip |
added some checks if python is enabled to make sure everything compiles if python is disabled in the makefile
Diffstat (limited to 'passes/cmds')
-rw-r--r-- | passes/cmds/plugin.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/passes/cmds/plugin.cc b/passes/cmds/plugin.cc index 1a39140d4..a889397e2 100644 --- a/passes/cmds/plugin.cc +++ b/passes/cmds/plugin.cc @@ -44,7 +44,11 @@ void load_plugin(std::string filename, std::vector<std::string> aliases) if (filename.find('/') == std::string::npos) filename = "./" + filename; + #ifdef WITH_PYTHON if (!loaded_plugins.count(filename) && !loaded_python_plugins.count(filename)) { + #else + if (!loaded_plugins.count(filename)) { + #endif #ifdef WITH_PYTHON if(boost::algorithm::ends_with(filename, ".py")) |