# HG changeset patch # User jeremie # Date 1403709791 14400 # Node ID 5642ac938ddafe9b93cc4142f07991de5db515f3 # Parent 730c0c8cf29b920f1767b5bede48e51a0fa37dc4 Uploaded diff -r 730c0c8cf29b -r 5642ac938dda tool_dependencies.xml --- a/tool_dependencies.xml Wed Jun 25 11:08:10 2014 -0400 +++ b/tool_dependencies.xml Wed Jun 25 11:23:11 2014 -0400 @@ -12,12 +12,10 @@ mkdir build ls pwd - cd build - ls - pwd - cmake .. -DCMAKE_BUILD_TYPE=release -DCMAKE_INSTALL_PREFIX=/usr/local + cmake . -DCMAKE_BUILD_TYPE=release -DCMAKE_INSTALL_PREFIX=/usr/local make sudo make install +