github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-05-03 06:40:15 +00:00
Code Issues Releases Wiki Activity

Merge pull request #3507 from YosysHQ/claire/verificlibopt

Browse Source 
Fix handling of verific -L options, add implicit "-L work"
This commit is contained in:
Miodrag Milanović
2022-10-10 07:50:57 +02:00
committed by GitHub
parent 0e13d7e4c7 090228a6a1
commit d68013811f
1 changed files with 14 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
frontends/verific/verific.cc
View File

@@ -2791,6 +2791,20 @@ struct VerificPass : public Pass {
}
veri_file::RemoveAllLOptions();
veri_file::AddLOption("work");
for (int i = argidx; i < GetSize(args); i++)
{
if (args[i] == "-work" && i+1 < GetSize(args)) {
++i;
continue;
}
if (args[i] == "-L" && i+1 < GetSize(args)) {
if (args[++i] == "work")
veri_file::RemoveAllLOptions();
continue;
}
break;
}
for (; argidx < GetSize(args); argidx++)
{
if (args[argidx] == "-work" && argidx+1 < GetSize(args)) {