commit 8b16977598153ae586de7edd83582ed5f37c2333
author Marc Kupietz <kupietz@ids-mannheim.de> Mon Feb 10 20:55:47 2025 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> Mon Feb 10 21:06:23 2025 +0100
tree 49b708e731d3dda21a0a0bc64edec58e437c9a23
parent d4120f18aae735fa494b7a3f479c317b6569d42f

Attempt a completely static build in CI script

Change-Id: Ief0a785cd61dc0966057a52adbf69410ba2ebffd

.gitlab-ci.yml

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0b21daa..0e8329f 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -71,8 +71,8 @@
     - pwd
     - mkdir build
     - cd build
-    - cmake -DCMAKE_C_COMPILER_LAUNCHER=ccache ..
-    - make
+    - cmake -DSTATIC_DEREKO2VEC=ON -DCMAKE_C_COMPILER_LAUNCHER=ccache ..
+    - make || (cmake -DCMAKE_C_COMPILER_LAUNCHER=ccache .. && make)
     - ccache --show-stats
     - ctest --extra-verbose
     - end_section build_dereko2vec