annotate tool_dependencies.xml @ 1:27a8ddf00b84 draft default tip

planemo upload for repository https://github.com/galaxyproject/tools-devteam/tree/master/packages/package_eigen_3_2_0 commit de7140295cce07e1bc1697e51dab4271c8d7a8a6
author devteam
date Fri, 18 Dec 2015 18:37:25 -0500
parents dfd2503afe0d
children
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>
1
27a8ddf00b84 planemo upload for repository https://github.com/galaxyproject/tools-devteam/tree/master/packages/package_eigen_3_2_0 commit de7140295cce07e1bc1697e51dab4271c8d7a8a6
devteam
parents: 0
diff changeset
7 <action type="make_directory">build</action>
27a8ddf00b84 planemo upload for repository https://github.com/galaxyproject/tools-devteam/tree/master/packages/package_eigen_3_2_0 commit de7140295cce07e1bc1697e51dab4271c8d7a8a6
devteam
parents: 0
diff changeset
8 <action type="change_directory">build</action>
27a8ddf00b84 planemo upload for repository https://github.com/galaxyproject/tools-devteam/tree/master/packages/package_eigen_3_2_0 commit de7140295cce07e1bc1697e51dab4271c8d7a8a6
devteam
parents: 0
diff changeset
9 <action type="shell_command">cmake .. -DCMAKE_INSTALL_PREFIX=$INSTALL_DIR -DEIGEN_INCLUDE_INSTALL_DIR=$INSTALL_DIR/include</action>
27a8ddf00b84 planemo upload for repository https://github.com/galaxyproject/tools-devteam/tree/master/packages/package_eigen_3_2_0 commit de7140295cce07e1bc1697e51dab4271c8d7a8a6
devteam
parents: 0
diff changeset
10 <action type="shell_command">make install</action>
0
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>
1
27a8ddf00b84 planemo upload for repository https://github.com/galaxyproject/tools-devteam/tree/master/packages/package_eigen_3_2_0 commit de7140295cce07e1bc1697e51dab4271c8d7a8a6
devteam
parents: 0
diff changeset
13 <environment_variable name="EIGEN3_INCLUDE_PATH" action="set_to">$INSTALL_DIR/include</environment_variable>
0
dfd2503afe0d Uploaded tool dependency definition.
devteam
parents:
diff changeset
14 </action>
dfd2503afe0d Uploaded tool dependency definition.
devteam
parents:
diff changeset
15 </actions>
dfd2503afe0d Uploaded tool dependency definition.
devteam
parents:
diff changeset
16 </install>
dfd2503afe0d Uploaded tool dependency definition.
devteam
parents:
diff changeset
17 <readme>
dfd2503afe0d Uploaded tool dependency definition.
devteam
parents:
diff changeset
18 </readme>
dfd2503afe0d Uploaded tool dependency definition.
devteam
parents:
diff changeset
19 </package>
dfd2503afe0d Uploaded tool dependency definition.
devteam
parents:
diff changeset
20 </tool_dependency>