|
0
|
1 <tool_dependency>
|
|
|
2 <package name="eigen" version="2.0.17">
|
|
|
3 <install version="1.0">
|
|
|
4 <actions>
|
|
|
5 <action type="download_by_url">http://bitbucket.org/eigen/eigen/get/2.0.17.tar.gz</action>
|
|
|
6 <action type="make_directory">$INSTALL_DIR/unpacked_source</action>
|
|
|
7
|
|
2
|
8 <action type="shell_command">cp -r ./eigen-eigen-b23437e61a07/* $INSTALL_DIR/unpacked_source</action>
|
|
0
|
9
|
|
|
10 <action type="set_environment">
|
|
|
11 <environment_variable name="EIGEN_SOURCE_PATH" action="set_to">$INSTALL_DIR/unpacked_source</environment_variable>
|
|
|
12 </action>
|
|
|
13 </actions>
|
|
|
14 </install>
|
|
|
15 <readme>Downloading the eigen2 library and unpacking it to the EIGEN_SOURCE_PATH.</readme>
|
|
|
16 </package>
|
|
|
17 </tool_dependency>
|
