From 090228a6a12e1a671a5465850d3f2e410d302ae0 Mon Sep 17 00:00:00 2001
From: Claire Xenia Wolf <claire@clairexen.net>
Date: Mon, 10 Oct 2022 00:47:42 +0200
Subject: [PATCH] Fix handling of verific -L options, add implicit "-L work"

Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
---
 frontends/verific/verific.cc | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

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)) {