# HG changeset patch # User iuc # Date 1424277327 18000 # Node ID c691cdd90be44224e53b30a6d189769404f8b0f1 # Parent 0212eff1cbd11e343294e7b8b14d0a71d1d7ba1c Uploaded diff -r 0212eff1cbd1 -r c691cdd90be4 tool_dependencies.xml --- a/tool_dependencies.xml Fri Nov 15 14:57:05 2013 -0500 +++ b/tool_dependencies.xml Wed Feb 18 11:35:27 2015 -0500 @@ -14,6 +14,9 @@ $INSTALL_DIR/unpacked_source $INSTALL_DIR/eigen3/include $INSTALL_DIR/eigen3/lib + $INSTALL_DIR/eigen3/lib + $INSTALL_DIR/eigen3/include + $INSTALL_DIR/eigen3/include