annotate tool_dependencies.xml @ 0:c6204ba02233 draft default tip

Uploaded tool dependency definition.
author devteam
date Tue, 01 Oct 2013 11:53:14 -0400
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
c6204ba02233 Uploaded tool dependency definition.
devteam
parents:
diff changeset
1 <?xml version="1.0"?>
c6204ba02233 Uploaded tool dependency definition.
devteam
parents:
diff changeset
2 <tool_dependency>
c6204ba02233 Uploaded tool dependency definition.
devteam
parents:
diff changeset
3 <package name="eigen" version="3.2.0">
c6204ba02233 Uploaded tool dependency definition.
devteam
parents:
diff changeset
4 <install version="1.0">
c6204ba02233 Uploaded tool dependency definition.
devteam
parents:
diff changeset
5 <actions>
c6204ba02233 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>
c6204ba02233 Uploaded tool dependency definition.
devteam
parents:
diff changeset
7 <action type="make_directory">build</action>
c6204ba02233 Uploaded tool dependency definition.
devteam
parents:
diff changeset
8 <action type="change_directory">build</action>
c6204ba02233 Uploaded tool dependency definition.
devteam
parents:
diff changeset
9 <action type="shell_command">cmake .. -DCMAKE_INSTALL_PREFIX=$INSTALL_DIR -DEIGEN_INCLUDE_INSTALL_DIR=$INSTALL_DIR/include</action>
c6204ba02233 Uploaded tool dependency definition.
devteam
parents:
diff changeset
10 <action type="shell_command">make install</action>
c6204ba02233 Uploaded tool dependency definition.
devteam
parents:
diff changeset
11 <action type="set_environment">
c6204ba02233 Uploaded tool dependency definition.
devteam
parents:
diff changeset
12 <environment_variable name="EIGEN_ROOT" action="set_to">$INSTALL_DIR</environment_variable>
c6204ba02233 Uploaded tool dependency definition.
devteam
parents:
diff changeset
13 <environment_variable name="EIGEN3_INCLUDE_PATH" action="set_to">$INSTALL_DIR/include</environment_variable>
c6204ba02233 Uploaded tool dependency definition.
devteam
parents:
diff changeset
14 </action>
c6204ba02233 Uploaded tool dependency definition.
devteam
parents:
diff changeset
15 </actions>
c6204ba02233 Uploaded tool dependency definition.
devteam
parents:
diff changeset
16 </install>
c6204ba02233 Uploaded tool dependency definition.
devteam
parents:
diff changeset
17 <readme>
c6204ba02233 Uploaded tool dependency definition.
devteam
parents:
diff changeset
18 </readme>
c6204ba02233 Uploaded tool dependency definition.
devteam
parents:
diff changeset
19 </package>
c6204ba02233 Uploaded tool dependency definition.
devteam
parents:
diff changeset
20 </tool_dependency>