# HG changeset patch
# User bgruening
# Date 1368561246 14400
# Node ID 6c80d36c61b05d405bd39f699880c442a3f161b3

Uploaded

diff -r 000000000000 -r 6c80d36c61b0 tool_dependencies.xml
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tool_dependencies.xml	Tue May 14 15:54:06 2013 -0400
@@ -0,0 +1,22 @@
+<tool_dependency>
+    <package name="eigen3" version="3.1.3">
+        <install version="1.0">
+            <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">cmake . -DCMAKE_INSTALL_PREFIX=$INSTALL_DIR/eigen3/</action>
+                <action type="shell_command">make</action>
+                <action type="shell_command">make install</action>
+
+                <action type="set_environment">
+                    <environment_variable name="EIGEN3_SOURCE_PATH" action="set_to">$INSTALL_DIR/unpacked_source</environment_variable>
+                    <environment_variable name="EIGEN3_INCLUDE_PATH" action="set_to">$INSTALL_DIR/eigen3/include</environment_variable>
+                    <environment_variable name="EIGEN3_LIB_PATH" action="set_to">$INSTALL_DIR/eigen3/lib</environment_variable>
+                </action>
+            </actions>
+        </install>
+        <readme>Downloading  and compiling the eigen3 library and unpacking it to the EIGEN3_SOURCE_PATH. EIGEN3_INCLUDE_PATH and EIGEN3_LIB_PATH will be available.</readme>
+    </package>
+</tool_dependency>