changeset 5:b72b882b30b4 default tip

Uploaded
author bgruening
date Tue, 14 May 2013 16:24:51 -0400
parents e9df2a7c0400
children
files tool_dependencies.xml
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/tool_dependencies.xml	Tue May 14 16:23:40 2013 -0400
+++ b/tool_dependencies.xml	Tue May 14 16:24:51 2013 -0400
@@ -6,7 +6,7 @@
                 <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">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>