From 375f73bbce4ea3c5c3436da8705e2941e380edbe Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Wed, 15 May 2024 15:37:14 -0700
Subject: [PATCH] Update for Amba support

---
 Makefile                     | 2 +-
 frontends/verific/verific.cc | 1 +
 verific                      | 2 +-
 3 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 8887c14c3..2a6d50e42 100644
--- a/Makefile
+++ b/Makefile
@@ -140,7 +140,7 @@ LIBS += -lrt
 endif
 endif
 
-YOSYS_VER := 0.41+83
+YOSYS_VER := 0.41+84
 
 # Note: We arrange for .gitcommit to contain the (short) commit hash in
 # tarballs generated with git-archive(1) using .gitattributes. The git repo
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 55b6d4920..5256cf9f8 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3469,6 +3469,7 @@ struct VerificPass : public Pass {
 					}
 					delete file_names;
 				} else {
+					veri_file::AddIncludeDir(args[argidx].c_str());
 					if (!hdl_file_sort::RegisterDir(args[argidx].c_str())) {
 						verific_error_msg.clear();
 						log_cmd_error("Could not register directory %s.\n", args[argidx].c_str());
diff --git a/verific b/verific
index 4d1393ba5..1be64c8f4 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 4d1393ba50c44d093b7df7880aa6fa47e1bab6fc
+Subproject commit 1be64c8f429a2d6fd01188e86e968f413d20f6b5