mirror of
https://github.com/YosysHQ/yosys
synced 2025-06-07 06:33:24 +00:00
Merge 53eae2f555
into d96d1e3630
This commit is contained in:
commit
d76bde8d1a
1 changed files with 2 additions and 0 deletions
|
@ -577,6 +577,8 @@ void init_share_dirname()
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
# ifdef YOSYS_DATDIR
|
# ifdef YOSYS_DATDIR
|
||||||
|
if (std::getenv("YOSYS_DATDIR"))
|
||||||
|
return std::getenv("YOSYS_DATDIR");
|
||||||
proc_share_path = YOSYS_DATDIR "/";
|
proc_share_path = YOSYS_DATDIR "/";
|
||||||
if (check_directory_exists(proc_share_path, true)) {
|
if (check_directory_exists(proc_share_path, true)) {
|
||||||
yosys_share_dirname = proc_share_path;
|
yosys_share_dirname = proc_share_path;
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue