# HG changeset patch # User iuc # Date 1376217678 14400 # Node ID 052e8df231ac8b78d4ba082531422f36d9d00472 initial upload diff -r 000000000000 -r 052e8df231ac tool_dependencies.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tool_dependencies.xml Sun Aug 11 06:41:18 2013 -0400 @@ -0,0 +1,20 @@ + + + + + ftp://ftp.gnu.org/gnu/readline/readline-6.2.tar.gz + $INSTALL_DIR + ./configure --prefix=$INSTALL_DIR && make && make install + + $INSTALL_DIR/include + $INSTALL_DIR/lib + $INSTALL_DIR/bin + $INSTALL_DIR/bin + + + + 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 + + +