From d4ea677f5f7d45a3d3c38242eb322f7c8e6f2bf4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ond=C5=99ej=20=C4=8Cert=C3=ADk?= <ondrej@certik.us>
Date: Thu, 23 Jan 2020 15:07:58 -0700
Subject: [PATCH] Do not use pip to install cmake

Rather install the binary directly.

Fixes #122.
---
 .github/workflows/CI.yml | 5 +++--
 ci/install_cmake.sh      | 7 +++++++
 2 files changed, 10 insertions(+), 2 deletions(-)
 create mode 100755 ci/install_cmake.sh

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index 8855c73c1..cf6507ed1 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -35,8 +35,9 @@ jobs:
       with:
         python-version: 3.x
 
-    - name: Set up common
-      run: pip install --upgrade cmake
+    - name: Install CMake Linux
+      if: contains(matrix.os, 'ubuntu')
+      run: ci/install_cmake.sh
 
     - name: Install GFortran Linux
       if: contains( matrix.os, 'ubuntu')
diff --git a/ci/install_cmake.sh b/ci/install_cmake.sh
new file mode 100755
index 000000000..9afe1e299
--- /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