Merge branch 'fix-static-dependencies' into 'main'

Skip configuring gtirb tests for static builds

See merge request rewriting/ddisasm!1253

Author: junghee

.ci/gitlab-ci.yml

@@ -545,7 +545,7 @@ build-static:
     - git clone https://git.grammatech.com/rewriting/gtirb.git -b $GTIRB_BRANCH
     - mkdir gtirb/build
     - cd gtirb/build
-    - cmake ../ -DCMAKE_CXX_COMPILER_LAUNCHER=ccache -DCMAKE_BUILD_TYPE=RelWithDebInfo -DGTIRB_BUILD_SHARED_LIBS=OFF
+    - cmake ../ -DCMAKE_CXX_COMPILER_LAUNCHER=ccache -DCMAKE_BUILD_TYPE=RelWithDebInfo -DGTIRB_BUILD_SHARED_LIBS=OFF -DGTIRB_ENABLE_TESTS=OFF
     - make
     - cd python; python3 -m pip install .; cd ..
     - cd ../..
@@ -631,7 +631,7 @@ static-drivers:
     - git clone https://git.grammatech.com/rewriting/gtirb.git -b $GTIRB_BRANCH
     - cd gtirb
     - mkdir build && cd build
-    - cmake ../ -DCMAKE_CXX_COMPILER_LAUNCHER=ccache -DCMAKE_BUILD_TYPE=Debug -DGTIRB_BUILD_SHARED_LIBS=OFF
+    - cmake ../ -DCMAKE_CXX_COMPILER_LAUNCHER=ccache -DCMAKE_BUILD_TYPE=Debug -DGTIRB_BUILD_SHARED_LIBS=OFF -DGTIRB_ENABLE_TESTS=OFF
     - make
     - cd python; python3 -m pip install .; cd ..
     - cd ../..

Dockerfile

@@ -105,7 +105,7 @@ RUN apt-get -y update \
 ARG GTIRB_BRANCH=master
 ARG GTIRB_CACHE_KEY
 RUN git clone --depth=1 -b $GTIRB_BRANCH https://github.com/GrammaTech/gtirb /usr/local/src/gtirb
-RUN cmake -DGTIRB_JAVA_API=OFF -DGTIRB_CL_API=OFF /usr/local/src/gtirb -B/usr/local/src/gtirb/build
+RUN cmake -DGTIRB_JAVA_API=OFF -DGTIRB_CL_API=OFF -DGTIRB_ENABLE_TESTS=OFF /usr/local/src/gtirb -B/usr/local/src/gtirb/build
 RUN cmake --build /usr/local/src/gtirb/build -j4 --target all install
 
 # ------------------------------------------------------------------------------