From cb9bc548d8427c4b2bf0dd7d622bf8dadd3626fc Mon Sep 17 00:00:00 2001 From: Laurent Perron Date: Fri, 22 Feb 2019 11:56:56 +0100 Subject: [PATCH] update Makefile.gen.mk --- makefiles/Makefile.gen.mk | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/makefiles/Makefile.gen.mk b/makefiles/Makefile.gen.mk index c0fafe5d62..499502e954 100644 --- a/makefiles/Makefile.gen.mk +++ b/makefiles/Makefile.gen.mk @@ -1515,7 +1515,9 @@ objs/sat/diffn.$O: ortools/sat/diffn.cc ortools/sat/diffn.h \ ortools/base/commandlineflags.h ortools/util/rev.h \ ortools/util/saturated_arithmetic.h ortools/util/sorted_interval_list.h \ ortools/sat/intervals.h ortools/sat/cp_constraints.h \ - ortools/sat/integer_expr.h ortools/sat/precedences.h ortools/util/sort.h | $(OBJ_DIR)/sat + ortools/sat/integer_expr.h ortools/sat/precedences.h \ + ortools/base/iterator_adaptors.h ortools/sat/disjunctive.h \ + ortools/sat/theta_tree.h ortools/util/sort.h | $(OBJ_DIR)/sat $(CCC) $(CFLAGS) -c $(SRC_DIR)$Sortools$Ssat$Sdiffn.cc $(OBJ_OUT)$(OBJ_DIR)$Ssat$Sdiffn.$O objs/sat/disjunctive.$O: ortools/sat/disjunctive.cc \