# HG changeset patch
# User bgruening
# Date 1412786964 14400
# Node ID 4e8b981dda6176a1972305add3aa67a93fa94082
# Parent 569f2d0b7cc2aceafbfa9baa4d6d432da7ec4b02
Uploaded
diff -r 569f2d0b7cc2 -r 4e8b981dda61 tool_dependencies.xml
--- a/tool_dependencies.xml Wed Oct 08 11:29:31 2014 -0400
+++ b/tool_dependencies.xml Wed Oct 08 12:49:24 2014 -0400
@@ -4,7 +4,7 @@
-
+
@@ -21,7 +21,7 @@
-
+
@@ -41,6 +41,7 @@
cmake . -DBUILD_TYPE=COINOR
cmake . -DBUILD_TYPE=BZIP2
cmake . -DBUILD_TYPE=GLPK
+ cmake . -DBUILD_TYPE=EIGEN
..
cmake . -DINSTALL_PREFIX=$INSTALL_DIR