changeset 0:5c44ce7e3f7b

Uploaded
author bgruening
date Tue, 14 May 2013 03:49:55 -0400
parents
children 294a30630e0b
files tool_dependencies.xml
diffstat 1 files changed, 28 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tool_dependencies.xml	Tue May 14 03:49:55 2013 -0400
@@ -0,0 +1,28 @@
+<tool_dependency>
+    <package name="eigen" version="2.0.17">
+        <install version="1.0">
+            <actions>
+                <action type="download_by_url">http://bitbucket.org/eigen/eigen/get/2.0.17.tar.gz</action>
+                <action type="make_directory">$INSTALL_DIR/unpacked_source</action>
+
+                <action type="move_directory_files">
+                    <source_directory>bench</source_directory>
+                    <destination_directory>$INSTALL_DIR/unpacked_source/bench</destination_directory>
+                </action>
+                <action type="move_directory_files">
+                    <source_directory>Eigen</source_directory>
+                    <destination_directory>$INSTALL_DIR/unpacked_source/Eigen</destination_directory>
+                </action>
+                <action type="move_directory_files">
+                    <source_directory>scripts</source_directory>
+                    <destination_directory>$INSTALL_DIR/unpacked_source/scripts</destination_directory>
+                </action>
+
+                <action type="set_environment">
+                    <environment_variable name="EIGEN_SOURCE_PATH" action="set_to">$INSTALL_DIR/unpacked_source</environment_variable>
+                </action>
+            </actions>
+        </install>
+        <readme>Downloading the eigen2 library and unpacking it to the EIGEN_SOURCE_PATH.</readme>
+    </package>
+</tool_dependency>