Makefiles: Add missing dependency tracking for smt2_solver

diffblue · Sep 5, 2018 · 1f860d2 · 1f860d2
1 parent d73d2db
commit 1f860d2
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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)