Travis CI: checking the version of CMake that is currently being used.
Travis CI: checking the version of CMake that is currently being used.

mirams/opencor,mirams/opencor,mirams/opencor,mirams/opencor,mirams/opencor