Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
CI wrench: we need googletest from source (?)
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 12 Sep 2021 19:49:58 +0000 (21:49 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 12 Sep 2021 19:49:58 +0000 (21:49 +0200)
.github/workflows/ci-wrench.yml

index c8358ab..53f6f38 100644 (file)
@@ -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