From 1f860d2a87ea6cb5d85783b65e32480072273c6a Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Wed, 5 Sep 2018 11:57:05 +0000
Subject: [PATCH] Makefiles: Add missing dependency tracking for smt2_solver

---
 src/solvers/Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/solvers/Makefile b/src/solvers/Makefile
index dc8d7a75b5d..1667dbcfe60 100644
--- a/src/solvers/Makefile
+++ b/src/solvers/Makefile
@@ -226,6 +226,8 @@ endif
 solvers$(LIBEXT): $(OBJ) $(SOLVER_LIB)
 	$(LINKLIB) $(LIBSOLVER)
 
+-include $(smt2/smt2_solver$(DEPEXT))
+
 smt2_solver$(EXEEXT): $(OBJ) smt2/smt2_solver$(OBJEXT) \
 	../util/util$(LIBEXT) ../langapi/langapi$(LIBEXT) ../big-int/big-int$(LIBEXT) $(SOLVER_LIB)
 	$(LINKBIN) $(LIBSOLVER)