diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 5790e92f0..e366299d8 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3688,6 +3688,14 @@ struct VerificPass : public Pass {
 				veri_file::AddLOption(args[++argidx].c_str());
 				continue;
 			}
+			if (GetSize(args) > argidx && args[argidx] == "-set_vhdl_default_library_path") {
+				for (argidx++; argidx < GetSize(args); argidx++) {
+#ifdef VERIFIC_VHDL_SUPPORT
+					vhdl_file::SetDefaultLibraryPath(args[argidx].c_str());
+#endif
+				}
+				goto check_error;
+			}
 #endif
 			break;
 		}