# HG changeset patch
# User boris
# Date 1389722914 18000
# Node ID e87f7a11afe280d0503bdced1e0d3a108372990d
# Parent  1301ec7705a822b5b19927e18ed4d202eccbb51b
Uploaded Dave's fix

diff -r 1301ec7705a8 -r e87f7a11afe2 tool_dependencies.xml
--- a/tool_dependencies.xml	Thu Jun 06 16:26:28 2013 -0400
+++ b/tool_dependencies.xml	Tue Jan 14 13:08:34 2014 -0500
@@ -6,6 +6,7 @@
                 <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_LIBS" action="set_to">$INSTALL_DIR/lib</environment_variable>
                     <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>