aboutsummaryrefslogtreecommitdiffstats
path: root/frontends
diff options
context:
space:
mode:
authorClaire Xenia Wolf <claire@clairexen.net>2022-10-10 00:47:42 +0200
committerClaire Xenia Wolf <claire@clairexen.net>2022-10-10 00:47:42 +0200
commit090228a6a12e1a671a5465850d3f2e410d302ae0 (patch)
treeeee56906cadd15300f51b46f2a7bc5626fef9119 /frontends
parent0e13d7e4c791a261a8746fefbbe92f1f3c68852d (diff)
downloadyosys-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')
-rw-r--r--frontends/verific/verific.cc14
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)) {