# HG changeset patch
# User iuc
# Date 1380309938 14400
# Node ID 9f3610d5a25b460d3056026442235e3f0db701a9

Uploaded

diff -r 000000000000 -r 9f3610d5a25b tool_dependencies.xml
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tool_dependencies.xml	Fri Sep 27 15:25:38 2013 -0400
@@ -0,0 +1,20 @@
+<tool_dependency>
+    <package name="readline" version="6.2">
+        <install version="1.0">
+            <actions>
+                <action type="download_by_url">ftp://ftp.gnu.org/gnu/readline/readline-6.2.tar.gz</action>
+                <action type="make_directory">$INSTALL_DIR</action>
+                <action type="shell_command">./configure --prefix=$INSTALL_DIR &amp;&amp; make &amp;&amp; make install</action>
+                <action type="set_environment">
+                    <environment_variable name="READLINE_INCLUDE_PATH" action="set_to">$INSTALL_DIR/include</environment_variable>
+                    <environment_variable name="READLINE_LIB_PATH" action="set_to">$INSTALL_DIR/lib</environment_variable>
+                    <environment_variable name="READLINE_BIN_PATH" action="set_to">$INSTALL_DIR/bin</environment_variable>
+                    <environment_variable name="PATH" action="append_to">$INSTALL_DIR/bin</environment_variable>
+                </action>
+            </actions>
+        </install>
+        <readme>The GNU Readline library provides a set of functions for use by applications that allow users to edit command lines as they are typed in.
+        www.gnu.org/software/readline
+        </readme>
+    </package>
+</tool_dependency>