DennisOSRM/Project-OSRM — pull request #1052 by alex85k (2014-06-03 12:39:21+00:00)
Title: add a cmake option WITH_TOOLS

As mentioned in https://github.com/DennisOSRM/Project-OSRM/pull/998 (Windows-independent)