CI: when using CMake, echo its version into the log

Useful for debugging.

diff --git a/ci/build.sh b/ci/build.sh
index c4e3272d8c1511ab0665f726d9334cd8c63efb81..2ba1d724e4d05891d43901ea0cf85b204be45fcd 100755 (executable)
--- a/ci/build.sh
+++ b/ci/build.sh
@@ -34,6 +34,7 @@ mkdir -p ${DIR}
 ARCH=$( uname -m )
 build_system=${build_system:-autotools}
 if [ "${build_system}" = "cmake" ]; then
+    cmake --version
     mkdir build
     pushd build
     cmake --log-level=VERBOSE ${CMAKE_OPTIONS:-} ..

diff --git a/ci/windows_build.py b/ci/windows_build.py
index 1db270ad0730a4a86fb1d4b4b4e2ffc9d2259c90..0ae1adb1101ba6fb9e8d7781ca6144f1b710df2f 100644 (file)
--- a/ci/windows_build.py
+++ b/ci/windows_build.py
@@ -35,6 +35,7 @@ def main(args: List[str]) -> int: #pylint: disable=C0116
     if build.exists():
       shutil.rmtree(build)
     os.makedirs(build)
+    run(["cmake", "--version"], build)
     run(["cmake", "--log-level=VERBOSE", "-G", "Visual Studio 16 2019", "-A",
          options.platform, "-D", "with_cxx_api=ON", ".."],
         build)