Merge pull request #2900 from tautschnig/smt2_solver-deps

Makefiles: Add missing dependency tracking for smt2_solver
diffblue · Sep 5, 2018 · 0532e91 · 0532e91
2 parents 82b4d5c + 1f860d2
commit 0532e91
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)