From 8e667e2e9f2b13da03a6c288f281617257a97fcc Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Wed, 23 Oct 2024 23:53:21 -0700
Subject: [PATCH] Add documentation for VHDL library directory

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

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 60180962c..2e42ff8fe 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3168,6 +3168,11 @@ struct VerificPass : public Pass {
 		log("Add module to list of modules to ignore during parsing.\n");
 		log("\n");
 		log("\n");
+		log("    import -set_vhdl_default_library_path <path>\n");
+		log("\n");
+		log("VHDL default library path.\n");
+		log("\n");
+		log("\n");
 #endif
 		log("    import -set-error <msg_id>..\n");
 		log("    import -set-warning <msg_id>..\n");