diff options
Diffstat (limited to 'kernel/yosys.h')
-rw-r--r-- | kernel/yosys.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/yosys.h b/kernel/yosys.h index 467d2074f..231dd4de6 100644 --- a/kernel/yosys.h +++ b/kernel/yosys.h @@ -210,6 +210,7 @@ int run_command(const std::string &command, std::function<void(const std::string std::string make_temp_file(std::string template_str = "/tmp/yosys_XXXXXX"); std::string make_temp_dir(std::string template_str = "/tmp/yosys_XXXXXX"); bool check_file_exists(std::string filename, bool is_exec = false); +bool is_absolute_path(std::string filename); void remove_directory(std::string dirname); template<typename T> int GetSize(const T &obj) { return obj.size(); } |