# HG changeset patch
# User boris
# Date 1370546853 14400
# Node ID aecd387cae1359fb75298392a7206dcf6c87628b
# Parent  7c94649a1f867ca92cae17cd2f363012957d0c3a
Deleted selected files

diff -r 7c94649a1f86 -r aecd387cae13 tool_dependencies.xml
--- a/tool_dependencies.xml	Wed Jun 05 13:29:24 2013 -0400
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,18 +0,0 @@
-<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="C_INCLUDE_PATH" action="prepend_to">$INSTALL_DIR/include</environment_variable>
-                    <environment_variable name="CPLUS_INCLUDE_PATH" action="prepend_to">$INSTALL_DIR/include</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.</readme>
-    </package>
-</tool_dependency>
-
-