changeset 1:fa6a1739bbd4

Uploaded
author bgruening
date Tue, 14 May 2013 16:17:18 -0400
parents 6c80d36c61b0
children 36dd8c487684
files tool_dependencies.xml
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/tool_dependencies.xml	Tue May 14 15:54:06 2013 -0400
+++ b/tool_dependencies.xml	Tue May 14 16:17:18 2013 -0400
@@ -6,9 +6,9 @@
                 <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">cmake . -DCMAKE_INSTALL_PREFIX=$INSTALL_DIR/eigen3/</action>
-                <action type="shell_command">make</action>
-                <action type="shell_command">make install</action>
+                <action type="shell_command">cd ./eigen-eigen-2249f9c22fe8  &amp;&amp; cmake . -DCMAKE_INSTALL_PREFIX=$INSTALL_DIR/eigen3/</action>
+                <action type="shell_command">cd ./eigen-eigen-2249f9c22fe8  &amp;&amp; make</action>
+                <action type="shell_command">cd ./eigen-eigen-2249f9c22fe8  &amp;&amp; make install</action>
 
                 <action type="set_environment">
                     <environment_variable name="EIGEN3_SOURCE_PATH" action="set_to">$INSTALL_DIR/unpacked_source</environment_variable>