From f6d577aed1b6cfef6f70fd23710f77e526989225 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Fri, 27 Sep 2024 03:14:15 -0700 Subject: [PATCH] Fix GHDL support --- frontends/verific/verific.cc | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 4bbd1264e..46bee09e8 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -3758,7 +3758,11 @@ struct VerificPass : public Pass { exe_path[length] = '\0'; // Get dirname of exe path - std::string ghdl_path = std::string(FileSystem::Dirname(exe_path)) + "/ghdl"; + const char *dirname = FileSystem::Dirname(exe_path).c_str(); + std::string ghdl_path = std::string(dirname) + "/bin/ghdl"; + log("Exe path: %s\n", exe_path); + log("Exe dirname: %s\n", dirname); + log("GHDL path: %s\n", ghdl_path.c_str()); // Check if GHDL binary exists, else use system path if (!FileSystem::PathExists(ghdl_path.c_str())) ghdl_path = "ghdl";