From: Gereon Kremer <gkremer@cs.stanford.edu>
Date: Thu, 17 Mar 2022 00:37:00 +0000 (+0100)
Subject: don't build gtest in CI (#8323)
X-Git-Tag: cvc5-1.0.0~232
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c4d85dde69218b2e4d2d8b1b492701d2ec0d5af2;p=cvc5.git

don't build gtest in CI (#8323)

We currently build gtest in /usr/bin/... with every CI job on ubuntu. This PR removes this and uses our own external project instead. This way, we only build gtest if necessary and then cache these builds with ccache (saving some CI time).
---

diff --git a/.github/actions/install-dependencies/action.yml b/.github/actions/install-dependencies/action.yml
index 33a645490..3c06132de 100644
--- a/.github/actions/install-dependencies/action.yml
+++ b/.github/actions/install-dependencies/action.yml
@@ -26,16 +26,11 @@ runs:
           libcln-dev \
           libedit-dev \
           libgmp-dev \
-          libgtest-dev \
           libtinfo-dev \
           flex \
           libfl-dev \
           flexc++
         python3 -m pip install pexpect setuptools toml
-        cd /usr/src/googletest
-        sudo cmake .
-        sudo cmake --build . --target install
-        cd -
         # Make ImageVersion accessible as env.image_version. Environment
         # variables of the runner are not automatically imported:
         #