diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2022-10-10 07:50:57 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-10 07:50:57 +0200 |
| commit | d68013811f316f3940110fde8435141279e6db5a (patch) | |
| tree | eee56906cadd15300f51b46f2a7bc5626fef9119 | |
| parent | 0e13d7e4c791a261a8746fefbbe92f1f3c68852d (diff) | |
| parent | 090228a6a12e1a671a5465850d3f2e410d302ae0 (diff) | |
| download | yosys-d68013811f316f3940110fde8435141279e6db5a.tar.gz yosys-d68013811f316f3940110fde8435141279e6db5a.tar.bz2 yosys-d68013811f316f3940110fde8435141279e6db5a.zip | |
Merge pull request #3507 from YosysHQ/claire/verificlibopt
Fix handling of verific -L options, add implicit "-L work"
| -rw-r--r-- | frontends/verific/verific.cc | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 820ac042c..1b9db8772 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -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)) { |