diff tool_dependencies.xml @ 0:a135862cd007 draft default tip

Uploaded
author takadonet
date Thu, 23 Oct 2014 10:21:57 -0400
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tool_dependencies.xml	Thu Oct 23 10:21:57 2014 -0400
@@ -0,0 +1,20 @@
+<tool_dependency>
+    <package name="minced" version="0.1.6">
+        <install version="1.0">
+            <actions>
+                <action type="download_file">https://github.com/ctSkennerton/minced/releases/download/0.1.6/minced</action>
+                <action type="download_file">https://github.com/ctSkennerton/minced/releases/download/0.1.6/minced.jar</action>
+                <action type="move_directory_files">
+                    <source_directory>.</source_directory>
+                    <destination_directory>$INSTALL_DIR</destination_directory>
+                </action>
+                <action type="chmod">
+                    <file mode="755">$INSTALL_DIR/minced</file>
+                </action>
+                <action type="set_environment">
+                    <environment_variable name="PATH" action="prepend_to">$INSTALL_DIR</environment_variable>
+                </action>
+            </actions>
+        </install>
+    </package>
+</tool_dependency>