# HG changeset patch # User devteam # Date 1390498231 18000 # Node ID f4201ff5aa667bb32c79a115d1ad172285d58a38 Imported from capsule None diff -r 000000000000 -r f4201ff5aa66 tool_dependencies.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tool_dependencies.xml Thu Jan 23 12:30:31 2014 -0500 @@ -0,0 +1,19 @@ + + + + + ftp://ftp.gnu.org/gnu/readline/readline-6.2.tar.gz + $INSTALL_DIR + ./configure --prefix=$INSTALL_DIR && make && make install + + $INSTALL_DIR/lib + $INSTALL_DIR/include + $INSTALL_DIR/include + + + + 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. + + + +