update Makefile.gen.mk

This commit is contained in:
Laurent Perron
2019-02-22 11:56:56 +01:00
parent bbcc0f7c04
commit cb9bc548d8

View File

@@ -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 \