# HG changeset patch # User bgruening # Date 1384903599 18000 # Node ID c2722f62c7ad27c4153f87701b4b112a89667a00 # Parent 22f618a19f6918152bf26b9d40a0ad82d0939f88 Uploaded diff -r 22f618a19f69 -r c2722f62c7ad tool_dependencies.xml --- a/tool_dependencies.xml Fri Nov 15 06:48:39 2013 -0500 +++ b/tool_dependencies.xml Tue Nov 19 18:26:39 2013 -0500 @@ -4,10 +4,13 @@ - + - + + + + @@ -19,16 +22,26 @@ - + - + + + + contrib - cmake . + cmake . -DBUILD_TYPE=SEQAN + cmake . -DBUILD_TYPE=LIBSVM + cmake . -DBUILD_TYPE=XERCESC + cmake . -DBUILD_TYPE=GSL + cmake . -DBUILD_TYPE=COINOR + cmake . -DBUILD_TYPE=BZIP2 + cmake . -DBUILD_TYPE=GLPK + .. cmake . -DINSTALL_PREFIX=$INSTALL_DIR make doc_minimal