Changeset 2414 for ThirdParty/SCIP/stable

Timestamp:

Aug 9, 2011 4:45:56 AM (9 years ago)

Author:

stefan

Message:

install some more required header files

Location:

ThirdParty/SCIP/stable/1.0

Files:

• Makefile.am (modified) (3 diffs)
• Makefile.in (modified) (3 diffs)

ThirdParty/SCIP/stable/1.0/Makefile.am

@@ -290 +290 @@
   scip/src/scip/heur_veclendiving.h \
   scip/src/scip/heur_zirounding.h \
+  scip/src/scip/history.h \
   scip/src/scip/implics.h \
   scip/src/scip/intervalarith.h \
   scip/src/scip/lpi.h \
   scip/src/scip/message.h \
+  scip/src/scip/misc.h \
   scip/src/scip/nodesel_bfs.h \
   scip/src/scip/nodesel_dfs.h \
@@ -365 +367 @@
   scip/src/scip/sepa_strongcg.h \
   scip/src/scip/sepa_zerohalf.h \
+  scip/src/scip/set.h \
   scip/src/scip/struct_branch.h \
   scip/src/scip/struct_buffer.h \
@@ -401 +404 @@
   scip/src/scip/struct_var.h \
   scip/src/scip/struct_vbc.h \
+  scip/src/scip/tree.h \
   scip/src/scip/type_branch.h \
   scip/src/scip/type_buffer.h \

ThirdParty/SCIP/stable/1.0/Makefile.in

@@ -764 +764 @@
   scip/src/scip/heur_veclendiving.h \
   scip/src/scip/heur_zirounding.h \
+  scip/src/scip/history.h \
   scip/src/scip/implics.h \
   scip/src/scip/intervalarith.h \
   scip/src/scip/lpi.h \
   scip/src/scip/message.h \
+  scip/src/scip/misc.h \
   scip/src/scip/nodesel_bfs.h \
   scip/src/scip/nodesel_dfs.h \
@@ -839 +841 @@
   scip/src/scip/sepa_strongcg.h \
   scip/src/scip/sepa_zerohalf.h \
+  scip/src/scip/set.h \
   scip/src/scip/struct_branch.h \
   scip/src/scip/struct_buffer.h \
@@ -875 +878 @@
   scip/src/scip/struct_var.h \
   scip/src/scip/struct_vbc.h \
+  scip/src/scip/tree.h \
   scip/src/scip/type_branch.h \
   scip/src/scip/type_buffer.h \