diff tool_dependencies.xml @ 0:0cf9719bfe4b draft default tip

Uploaded
author iuc
date Sat, 21 Dec 2013 06:43:00 -0500
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tool_dependencies.xml	Sat Dec 21 06:43:00 2013 -0500
@@ -0,0 +1,20 @@
+<tool_dependency>
+    <package name="minced" version="0.1.4">
+        <install version="1.0">
+            <actions>
+                <action type="download_file">https://github.com/ctSkennerton/minced/releases/download/0.1.4/minced</action>
+                <action type="download_file">https://github.com/ctSkennerton/minced/releases/download/0.1.4/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>