From d1d80e044cafd9e6343f25ee29e7bc1e898f05ab Mon Sep 17 00:00:00 2001
From: Dhaval Chaudhari <dhavalchaudhari39@gmail.com>
Date: Fri, 2 Jan 2026 18:01:14 +0530
Subject: [PATCH] verific: add support for relaxed file library extensions in
 VerificPass

---
 frontends/verific/verific.cc | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 5790e92f0..25c1ab88d 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3688,6 +3688,17 @@ struct VerificPass : public Pass {
 				veri_file::AddLOption(args[++argidx].c_str());
 				continue;
 			}
+			if (args[argidx] == "-set_relaxed_file_libext_modes") {
+				veri_file::AddLibExt(".v");
+				veri_file::AddLibExt(".vh");
+				veri_file::AddLibExt(".sv");
+				veri_file::AddLibExt(".sv1");
+				veri_file::AddLibExt(".svh");
+				veri_file::AddLibExt(".svp");
+				veri_file::AddLibExt(".h");
+				veri_file::AddLibExt(".inc");
+				continue;
+			}
 #endif
 			break;
 		}