Fix GHDL support

Silimate · Sep 27, 2024 · f6d577a · f6d577a
1 parent 9f4d385
commit f6d577a
Showing 1 changed file with 5 additions and 1 deletion.
diff --git 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";