From 033eba8077272cd22e18d03b34e7a9554ec0244f Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sun, 12 Sep 2021 21:49:58 +0200
Subject: [PATCH] CI wrench: we need googletest from source (?)

---
 .github/workflows/ci-wrench.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci-wrench.yml b/.github/workflows/ci-wrench.yml
index c8358ab3d3..53f6f382cc 100644
--- a/.github/workflows/ci-wrench.yml
+++ b/.github/workflows/ci-wrench.yml
@@ -26,7 +26,11 @@ jobs:
           apt -y install libboost-all-dev
           apt -y install libpugixml-dev
           apt -y install nlohmann-json3-dev
-          apt -y install googletest
+      - name: Install googletest
+        run: |
+          wget https://github.com/google/googletest/archive/release-1.8.0.tar.gz
+          tar xf release-1.8.0.tar.gz
+          cd googletest-release-1.8.0/googletest && cmake . && make install
       - name: Build and test WRENCH
         run: |
           set -e
-- 
2.20.1