From bab84627896abd6c0767730eb464f32dd5dc8b73 Mon Sep 17 00:00:00 2001
From: Geza Lore <gezalore@gmail.com>
Date: Sat, 26 Mar 2022 21:29:03 +0000
Subject: [PATCH] Rebuild run-time library if generated makefile changes

The generated makefile contains compiler options that are passed when
building the run-time library, so re-build if it changes.
---
 include/verilated.mk.in | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/include/verilated.mk.in b/include/verilated.mk.in
index 99fd533c2..4e32df566 100644
--- a/include/verilated.mk.in
+++ b/include/verilated.mk.in
@@ -193,6 +193,10 @@ VK_USER_OBJS   = $(addsuffix .o, $(VM_USER_CLASSES))
 # but keeping the distinction for compatibility for now.
 VK_GLOBAL_OBJS = $(addsuffix .o, $(VM_GLOBAL_FAST) $(VM_GLOBAL_SLOW))
 
+# Need to re-build if the generated makefile changes, as compiler options might
+# have changed.
+$(VK_GLOBAL_OBJS): $(VM_PREFIX).mk
+
 ifneq ($(VM_PARALLEL_BUILDS),1)
   # Fast build for small designs: All .cpp files in one fell swoop. This
   # saves total compute, but can be slower if only a little changes. It is