From 210ffbf4e07b63d7d13c4be4d9e3f547cc609b08 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ond=C5=99ej=20=C4=8Cert=C3=ADk?= <ondrej@certik.us>
Date: Sat, 25 Jan 2020 10:39:14 -0700
Subject: Install cmake using a binary

---
 ci/install_cmake.sh | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 ci/install_cmake.sh

(limited to 'ci')

diff --git a/ci/install_cmake.sh b/ci/install_cmake.sh
new file mode 100755
index 0000000..9afe1e2
--- /dev/null
+++ b/ci/install_cmake.sh
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+set -ex
+
+wget -qO- https://github.com/Kitware/CMake/releases/download/v3.16.3/cmake-3.16.3-Linux-x86_64.tar.gz | sudo tar xz --strip=1 -C /usr/local/
+which cmake
+cmake --version
-- 
cgit v1.2.3