diff options
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/yosys.cc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/kernel/yosys.cc b/kernel/yosys.cc index eba1aef11..a69a85447 100644 --- a/kernel/yosys.cc +++ b/kernel/yosys.cc @@ -701,6 +701,11 @@ std::string proc_share_dirname() proc_share_path = proc_self_path + "../share/yosys/"; if (check_file_exists(proc_share_path, true)) return proc_share_path; +# ifdef YOSYS_DATDIR + proc_share_path = YOSYS_DATDIR "/"; + if (check_file_exists(proc_share_path, true)) + return proc_share_path; +# endif # endif log_error("proc_share_dirname: unable to determine share/ directory!\n"); } |