changeset 0:1c500c3e7fdf default tip

First commit
author rjullien
date Wed, 19 Aug 2015 13:44:00 +0000
parents
children
files tool_dependencies.xml
diffstat 1 files changed, 22 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tool_dependencies.xml	Wed Aug 19 13:44:00 2015 +0000
@@ -0,0 +1,22 @@
+<?xml version="1.0"?>
+<tool_dependency>
+    <package name="velvet" version="1.2.10">
+	<install version="1.0">
+	    <actions>
+		<action type="download_by_url">https://www.ebi.ac.uk/~zerbino/velvet/velvet_1.2.10.tgz</action>
+		<action type="shell_command">make</action>
+		<action type="move_file">
+                        <source>velveth</source>
+                        <destination>$INSTALL_DIR</destination>
+                </action>
+		<action type="move_file">
+                        <source>velvetg</source>
+                        <destination>$INSTALL_DIR</destination>
+                </action>
+                <action type="set_environment">
+                        <environment_variable name="PATH" action="prepend_to">$INSTALL_DIR</environment_variable>
+                </action>
+	    </actions>
+         </install>
+    </package>
+</tool_dependency>