diff --git a/kernel/yosys.cc b/kernel/yosys.cc index 2c9b8304d..2bf99d416 100644 --- a/kernel/yosys.cc +++ b/kernel/yosys.cc @@ -626,6 +626,8 @@ void init_share_dirname() return; } # ifdef YOSYS_DATDIR + if (std::getenv("YOSYS_DATDIR")) + return std::getenv("YOSYS_DATDIR"); proc_share_path = YOSYS_DATDIR "/"; if (check_directory_exists(proc_share_path, true)) { yosys_share_dirname = proc_share_path;