mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-03 13:07:58 +00:00
Code Activity

Merge 53eae2f555 into 797780eda5

Browse source
This commit is contained in:
Ethan Mahintorabi 2025-11-02 19:36:45 -05:00 • committed by GitHub
commit c04b52de4d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
kernel/yosys.cc
View file

@ -600,6 +600,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;