annotate tool_dependencies.xml @ 0:dfd2503afe0d draft

Uploaded tool dependency definition.
author devteam
date Mon, 30 Sep 2013 14:17:54 -0400
parents
children 27a8ddf00b84
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
dfd2503afe0d Uploaded tool dependency definition.
devteam
parents:
diff changeset
1 <?xml version="1.0"?>
dfd2503afe0d Uploaded tool dependency definition.
devteam
parents:
diff changeset
2 <tool_dependency>
dfd2503afe0d Uploaded tool dependency definition.
devteam
parents:
diff changeset
3 <package name="eigen" version="3.2.0">
dfd2503afe0d Uploaded tool dependency definition.
devteam
parents:
diff changeset
4 <install version="1.0">
dfd2503afe0d Uploaded tool dependency definition.
devteam
parents:
diff changeset
5 <actions>
dfd2503afe0d Uploaded tool dependency definition.
devteam
parents:
diff changeset
6 <action type="download_by_url" target_filename="eigen-eigen-ffa86ffb5570.tar.bz2">http://bitbucket.org/eigen/eigen/get/3.2.0.tar.bz2</action>
dfd2503afe0d Uploaded tool dependency definition.
devteam
parents:
diff changeset
7 <action type="move_directory_files">
dfd2503afe0d Uploaded tool dependency definition.
devteam
parents:
diff changeset
8 <source_directory>./Eigen</source_directory>
dfd2503afe0d Uploaded tool dependency definition.
devteam
parents:
diff changeset
9 <destination_directory>$INSTALL_DIR/include/Eigen</destination_directory>
dfd2503afe0d Uploaded tool dependency definition.
devteam
parents:
diff changeset
10 </action>
dfd2503afe0d Uploaded tool dependency definition.
devteam
parents:
diff changeset
11 <action type="set_environment">
dfd2503afe0d Uploaded tool dependency definition.
devteam
parents:
diff changeset
12 <environment_variable name="EIGEN_ROOT" action="set_to">$INSTALL_DIR</environment_variable>
dfd2503afe0d Uploaded tool dependency definition.
devteam
parents:
diff changeset
13 </action>
dfd2503afe0d Uploaded tool dependency definition.
devteam
parents:
diff changeset
14 </actions>
dfd2503afe0d Uploaded tool dependency definition.
devteam
parents:
diff changeset
15 </install>
dfd2503afe0d Uploaded tool dependency definition.
devteam
parents:
diff changeset
16 <readme>
dfd2503afe0d Uploaded tool dependency definition.
devteam
parents:
diff changeset
17 </readme>
dfd2503afe0d Uploaded tool dependency definition.
devteam
parents:
diff changeset
18 </package>
dfd2503afe0d Uploaded tool dependency definition.
devteam
parents:
diff changeset
19 </tool_dependency>