From e77d847671ba3b6a5c088a82da1eb1809d5dd665 Mon Sep 17 00:00:00 2001
From: Kamil Rakoczy <krakoczy@antmicro.com>
Date: Mon, 11 Sep 2023 15:01:34 +0200
Subject: [PATCH] Check whether V3ERROR_NO_GLOBAL_ is not already defined.
 (#4475)

Co-authored-by: Mariusz Glebocki <mglebocki@antmicro.com>
---
 src/VlcBucket.h | 2 ++
 src/VlcMain.cpp | 2 ++
 src/VlcPoint.h  | 2 ++
 3 files changed, 6 insertions(+)

diff --git a/src/VlcBucket.h b/src/VlcBucket.h
index cca198bde..3d46bd4c7 100644
--- a/src/VlcBucket.h
+++ b/src/VlcBucket.h
@@ -20,7 +20,9 @@
 #include "config_build.h"
 #include "verilatedos.h"
 
+#ifndef V3ERROR_NO_GLOBAL_
 #define V3ERROR_NO_GLOBAL_
+#endif
 #include "V3Error.h"
 
 //********************************************************************
diff --git a/src/VlcMain.cpp b/src/VlcMain.cpp
index b26753c62..c0c75cdc7 100644
--- a/src/VlcMain.cpp
+++ b/src/VlcMain.cpp
@@ -24,7 +24,9 @@
 #include "verilatedos.h"
 
 // Cheat for speed and compile .cpp files into one object TODO: Reconsider
+#ifndef V3ERROR_NO_GLOBAL_
 #define V3ERROR_NO_GLOBAL_
+#endif
 #include "V3Error.h"
 static int debug() { return V3Error::debugDefault(); }
 #include "V3Error.cpp"
diff --git a/src/VlcPoint.h b/src/VlcPoint.h
index 81578f9b1..5c51b7adf 100644
--- a/src/VlcPoint.h
+++ b/src/VlcPoint.h
@@ -25,7 +25,9 @@
 #include <unordered_map>
 #include <vector>
 
+#ifndef V3ERROR_NO_GLOBAL_
 #define V3ERROR_NO_GLOBAL_
+#endif
 #include "verilated_cov_key.h"
 
 #include "V3Error.h"