From 39f28aeaacf478928540ad4f81b4d3f675d12f83 Mon Sep 17 00:00:00 2001
From: Jerry Zhao <jerryz123@berkeley.edu>
Date: Wed, 20 Mar 2024 13:57:04 -0700
Subject: [PATCH] Append EXT_FILELISTS to VLSI deps

---
 vlsi/Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/vlsi/Makefile b/vlsi/Makefile
index 14feb6fb..ef9e2282 100644
--- a/vlsi/Makefile
+++ b/vlsi/Makefile
@@ -72,7 +72,7 @@ VLSI_RTL = $(build_dir)/syn.f
 ifneq ($(CUSTOM_VLOG), )
 	RTL_DEPS = $(CUSTOM_VLOG)
 else
-	RTL_DEPS = $(TOP_MODS_FILELIST) $(TOP_SMEMS_FILE)
+	RTL_DEPS = $(TOP_MODS_FILELIST) $(TOP_SMEMS_FILE) $(EXT_FILELISTS)
 endif
 
 $(VLSI_RTL): $(RTL_DEPS)
@@ -82,6 +82,9 @@ ifneq ($(CUSTOM_VLOG), )
 else
 	cat $(TOP_MODS_FILELIST) | sort -u > $(VLSI_RTL)
 	echo $(TOP_SMEMS_FILE) >> $(VLSI_RTL)
+ifneq ($(EXT_FILELISTS),)
+	cat $(EXT_FILELISTS) >> $(VLSI_RTL)
+endif
 endif
 
 #########################################################################################