CI: check that the static Linux build is indeed static

usi-verification-and-security · Oct 25, 2024 · 432fad8 · 432fad8
1 parent a86f40e
commit 432fad8
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -149,7 +149,9 @@ jobs:
             - checkout
             - run:
                 name: Release static build gcc in Fedora
-                command: ./ci/build_maximally_static.sh
+                command: |
+                  ./ci/build_maximally_static.sh
+                  ! ldd ./build/opensmt
 
     build-macos:
         macos: