# 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