Allow redefining VL_PRINTF, bug1598.

docs/CONTRIBUTORS

@@ -14,6 +14,7 @@ Howard Su
 Iztok Jeras
 Jeremy Bennett
 John Coiner
+Julien Margetts
 Kanad Kanhere
 Kevin Kiningham
 Lukasz Dalek

include/verilated.h

@@ -44,6 +44,11 @@
 # include <thread>
 #endif
 
+// Allow user to specify their own include file
+#ifdef VL_VERILATED_INCLUDE
+# include VL_VERILATED_INCLUDE
+#endif
+
 //=============================================================================
 // Switches
 

include/verilated.mk.in

@@ -48,7 +48,6 @@ VK_CPPFLAGS_ALWAYS += \
 		-MMD \
 		-I$(VERILATOR_ROOT)/include \
 		-I$(VERILATOR_ROOT)/include/vltstd \
-		-DVL_PRINTF=printf \
 		-DVM_COVERAGE=$(VM_COVERAGE) \
 		-DVM_SC=$(VM_SC) \
 		-DVM_TRACE=$(VM_TRACE) \

test_regress/t/t_dpi_display_c.cpp

@@ -35,6 +35,10 @@ extern "C" {
 }
 #endif
 
+#ifndef VL_PRINTF
+# define VL_PRINTF printf
+#endif
+
 //======================================================================
 
 void dpii_display_call(const char* c) {