| Previous changeset 0:5c44ce7e3f7b (2013-05-14) Next changeset 2:09eb05087cd0 (2013-05-14) |
|
Commit message:
Uploaded |
|
modified:
tool_dependencies.xml |
| b |
| diff -r 5c44ce7e3f7b -r 294a30630e0b tool_dependencies.xml --- a/tool_dependencies.xml Tue May 14 03:49:55 2013 -0400 +++ b/tool_dependencies.xml Tue May 14 04:11:10 2013 -0400 |
| b |
| @@ -5,18 +5,7 @@ <action type="download_by_url">http://bitbucket.org/eigen/eigen/get/2.0.17.tar.gz</action> <action type="make_directory">$INSTALL_DIR/unpacked_source</action> - <action type="move_directory_files"> - <source_directory>bench</source_directory> - <destination_directory>$INSTALL_DIR/unpacked_source/bench</destination_directory> - </action> - <action type="move_directory_files"> - <source_directory>Eigen</source_directory> - <destination_directory>$INSTALL_DIR/unpacked_source/Eigen</destination_directory> - </action> - <action type="move_directory_files"> - <source_directory>scripts</source_directory> - <destination_directory>$INSTALL_DIR/unpacked_source/scripts</destination_directory> - </action> + <action type="shell_command">cp -r * $INSTALL_DIR/unpacked_source</action> <action type="set_environment"> <environment_variable name="EIGEN_SOURCE_PATH" action="set_to">$INSTALL_DIR/unpacked_source</environment_variable> |