diff tool_dependencies.xml @ 3:4cf2808854bc draft

Uploaded
author bonsai
date Fri, 13 Sep 2013 10:01:00 -0400
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tool_dependencies.xml	Fri Sep 13 10:01:00 2013 -0400
@@ -0,0 +1,16 @@
+<?xml version="1.0"?>
+<tool_dependency>
+    <package name="crac" version="1.3.0">
+        <install version="1.0">
+            <actions>
+                <action type="download_by_url">https://gforge.inria.fr/frs/download.php/32471/crac-1.3.0.tar.gz</action>
+                <action type="shell_command">./configure</action>
+                <action type="shell_command">make</action>
+                <action type="shell_command">make check</action>
+            </actions>
+        </install>
+        <readme>
+CRAC requires g++ 4.3 or later. 
+	</readme>
+    </package>
+</tool_dependency>