diff tool_dependencies.xml @ 2:2acabbd57c78 draft default tip

Uploaded
author bgruening
date Mon, 16 Sep 2013 10:34:55 -0400
parents b936498ae90c
children
line wrap: on
line diff
--- a/tool_dependencies.xml	Mon Jul 01 06:22:21 2013 -0400
+++ b/tool_dependencies.xml	Mon Sep 16 10:34:55 2013 -0400
@@ -4,7 +4,7 @@
             <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="autoconf" />
                 <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>