diff options
| author | Claire Xenia Wolf <claire@clairexen.net> | 2022-10-10 00:47:42 +0200 |
|---|---|---|
| committer | Claire Xenia Wolf <claire@clairexen.net> | 2022-10-10 00:47:42 +0200 |
| commit | 090228a6a12e1a671a5465850d3f2e410d302ae0 (patch) | |
| tree | eee56906cadd15300f51b46f2a7bc5626fef9119 /frontends/verific | |
| parent | 0e13d7e4c791a261a8746fefbbe92f1f3c68852d (diff) | |
| download | yosys-090228a6a12e1a671a5465850d3f2e410d302ae0.tar.gz yosys-090228a6a12e1a671a5465850d3f2e410d302ae0.tar.bz2 yosys-090228a6a12e1a671a5465850d3f2e410d302ae0.zip | |
Fix handling of verific -L options, add implicit "-L work"
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
Diffstat (limited to 'frontends/verific')
| -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)) { |