changeset 0:c6204ba02233 draft default tip

Uploaded tool dependency definition.
author devteam
date Tue, 01 Oct 2013 11:53:14 -0400
parents
children
files tool_dependencies.xml
diffstat 1 files changed, 20 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tool_dependencies.xml	Tue Oct 01 11:53:14 2013 -0400
@@ -0,0 +1,20 @@
+<?xml version="1.0"?>
+<tool_dependency>
+    <package name="eigen" version="3.2.0">
+        <install version="1.0">
+            <actions>
+                <action type="download_by_url" target_filename="eigen-eigen-ffa86ffb5570.tar.bz2">http://bitbucket.org/eigen/eigen/get/3.2.0.tar.bz2</action>
+                <action type="make_directory">build</action>
+                <action type="change_directory">build</action>
+                <action type="shell_command">cmake .. -DCMAKE_INSTALL_PREFIX=$INSTALL_DIR -DEIGEN_INCLUDE_INSTALL_DIR=$INSTALL_DIR/include</action>
+                <action type="shell_command">make install</action>
+                <action type="set_environment">
+                    <environment_variable name="EIGEN_ROOT" action="set_to">$INSTALL_DIR</environment_variable>
+                    <environment_variable name="EIGEN3_INCLUDE_PATH" action="set_to">$INSTALL_DIR/include</environment_variable>
+                </action>
+            </actions>
+        </install>
+        <readme>
+        </readme>
+    </package>
+</tool_dependency>