# HG changeset patch
# User bgruening
# Date 1384545288 18000
# Node ID b8ed0e76f50194f7c8a20eef286a659a6c7da86d
# Parent  6a1c187f36aa7644a9c8ad9a1c30d3b56a7b6fe0
adoption of new toolshed features

diff -r 6a1c187f36aa -r b8ed0e76f501 tool_dependencies.xml
--- a/tool_dependencies.xml	Sun Aug 11 06:32:13 2013 -0400
+++ b/tool_dependencies.xml	Fri Nov 15 14:54:48 2013 -0500
@@ -4,11 +4,11 @@
             <actions>
                 <action type="download_by_url">http://bitbucket.org/eigen/eigen/get/3.1.3.tar.gz</action>
                 <action type="make_directory">$INSTALL_DIR/unpacked_source</action>
-
-                <action type="shell_command">cp -r ./eigen-eigen-2249f9c22fe8/* $INSTALL_DIR/unpacked_source</action>
-                <action type="shell_command">mkdir ./eigen-eigen-2249f9c22fe8/build/ &amp;&amp; cd ./eigen-eigen-2249f9c22fe8/build/ &amp;&amp; cmake .. -DCMAKE_INSTALL_PREFIX=$INSTALL_DIR/eigen3/</action>
-                <action type="shell_command">cd ./eigen-eigen-2249f9c22fe8/build/ &amp;&amp; make</action>
-                <action type="shell_command">cd ./eigen-eigen-2249f9c22fe8/build/ &amp;&amp; make install</action>
+                <action type="shell_command">cp -r * $INSTALL_DIR/unpacked_source</action>
+                <action type="make_directory">build</action>
+                <action type="change_directory">build</action>
+                <action type="shell_command">cmake .. -DCMAKE_INSTALL_PREFIX=$INSTALL_DIR/eigen3/</action>
+                <action type="make_install" />
 
                 <action type="set_environment">
                     <environment_variable name="EIGEN3_SOURCE_PATH" action="set_to">$INSTALL_DIR/unpacked_source</environment_variable>