annotate tool_dependencies.xml @ 3:88495b2a6957

recompiled for java6
author pieter.lukasse@wur.nl
date Fri, 10 Jan 2014 17:03:50 +0100
parents d6001e8d7441
children 1a6fa343b981
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
d6001e8d7441 Push to main toolshed
pieter.lukasse@wur.nl
parents:
diff changeset
1 <?xml version="1.0"?>
d6001e8d7441 Push to main toolshed
pieter.lukasse@wur.nl
parents:
diff changeset
2 <tool_dependency>
d6001e8d7441 Push to main toolshed
pieter.lukasse@wur.nl
parents:
diff changeset
3 <!-- see also http://wiki.galaxyproject.org/ToolShedToolFeatures for syntax help -->
d6001e8d7441 Push to main toolshed
pieter.lukasse@wur.nl
parents:
diff changeset
4 <package name="xtandem" version="12.10011">
d6001e8d7441 Push to main toolshed
pieter.lukasse@wur.nl
parents:
diff changeset
5 <install version="1.0">
d6001e8d7441 Push to main toolshed
pieter.lukasse@wur.nl
parents:
diff changeset
6 <actions>
d6001e8d7441 Push to main toolshed
pieter.lukasse@wur.nl
parents:
diff changeset
7 <action type="download_by_url">ftp://ftp.thegpm.org/projects/tandem/source/2011-12-01/tandem-linux-12-10-01-1.zip</action>
d6001e8d7441 Push to main toolshed
pieter.lukasse@wur.nl
parents:
diff changeset
8 <!--<action type="shell_command">make clean</action>
d6001e8d7441 Push to main toolshed
pieter.lukasse@wur.nl
parents:
diff changeset
9 <action type="shell_command">make</action>-->
d6001e8d7441 Push to main toolshed
pieter.lukasse@wur.nl
parents:
diff changeset
10 <action type="move_directory_files">
d6001e8d7441 Push to main toolshed
pieter.lukasse@wur.nl
parents:
diff changeset
11 <source_directory>../tandem-linux-12-10-01-1</source_directory>
d6001e8d7441 Push to main toolshed
pieter.lukasse@wur.nl
parents:
diff changeset
12 <destination_directory>$INSTALL_DIR/tandem-linux-12-10-01-1</destination_directory>
d6001e8d7441 Push to main toolshed
pieter.lukasse@wur.nl
parents:
diff changeset
13 </action>
d6001e8d7441 Push to main toolshed
pieter.lukasse@wur.nl
parents:
diff changeset
14 <action type="shell_command">chmod 755 $INSTALL_DIR/tandem-linux-12-10-01-1/bin/tandem.exe</action>
d6001e8d7441 Push to main toolshed
pieter.lukasse@wur.nl
parents:
diff changeset
15 <!--<action type="chmod"><file mode="755">$INSTALL_DIR/tandem-linux-12-10-01-1/bin/tandem.exe</file><action>-->
d6001e8d7441 Push to main toolshed
pieter.lukasse@wur.nl
parents:
diff changeset
16 <action type="set_environment">
d6001e8d7441 Push to main toolshed
pieter.lukasse@wur.nl
parents:
diff changeset
17 <environment_variable name="XTANDEM_12_10_01_PATH" action="set_to">$INSTALL_DIR/tandem-linux-12-10-01-1</environment_variable>
d6001e8d7441 Push to main toolshed
pieter.lukasse@wur.nl
parents:
diff changeset
18 </action>
d6001e8d7441 Push to main toolshed
pieter.lukasse@wur.nl
parents:
diff changeset
19 </actions>
d6001e8d7441 Push to main toolshed
pieter.lukasse@wur.nl
parents:
diff changeset
20 </install>
d6001e8d7441 Push to main toolshed
pieter.lukasse@wur.nl
parents:
diff changeset
21 <readme>
d6001e8d7441 Push to main toolshed
pieter.lukasse@wur.nl
parents:
diff changeset
22 Ensures XTandem is installed.
d6001e8d7441 Push to main toolshed
pieter.lukasse@wur.nl
parents:
diff changeset
23 </readme>
d6001e8d7441 Push to main toolshed
pieter.lukasse@wur.nl
parents:
diff changeset
24 </package>
d6001e8d7441 Push to main toolshed
pieter.lukasse@wur.nl
parents:
diff changeset
25 <set_environment version="1.0">
d6001e8d7441 Push to main toolshed
pieter.lukasse@wur.nl
parents:
diff changeset
26 <environment_variable name="XTANDEM_12_10_01_PATH" action="set_to">$INSTALL_DIR/tandem-linux-12-10-01-1</environment_variable>
d6001e8d7441 Push to main toolshed
pieter.lukasse@wur.nl
parents:
diff changeset
27 </set_environment>
d6001e8d7441 Push to main toolshed
pieter.lukasse@wur.nl
parents:
diff changeset
28 </tool_dependency>