From 78a8c3359f21dff0eb214324534b6e85cfaa08a7 Mon Sep 17 00:00:00 2001
From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Wed, 16 Mar 2022 17:12:09 -0700
Subject: [PATCH] [CI] Strip stored binaries  (#8327)

This commit ensures that published binaries are stripped to make them
smaller. The stripping of the binaries is done before running the
regressions to make sure that the stripped binaries work as intended.
Stripping binaries decreases the executable size from about 28 MB to 24
MB.
---
 .github/actions/configure-and-build/action.yml | 6 ++++++
 .github/workflows/ci.yml                       | 4 ++++
 2 files changed, 10 insertions(+)

diff --git a/.github/actions/configure-and-build/action.yml b/.github/actions/configure-and-build/action.yml
index 1f3ab5fc9..314428d1b 100644
--- a/.github/actions/configure-and-build/action.yml
+++ b/.github/actions/configure-and-build/action.yml
@@ -11,6 +11,8 @@ inputs:
   build-static:
     default: true
     type: boolean
+  strip-bin:
+    default: ""
 outputs:
   shared-build-dir:
     description: build directory of the shared build
@@ -57,6 +59,10 @@ runs:
 
         make -j${{ env.num_proc }}
 
+        if [[ "${{ inputs.strip-bin }}" != "" ]]; then
+          ${{ inputs.strip-bin }} bin/cvc5*
+        fi
+
         echo "::set-output name=build-dir::$pwd"
         echo "::endgroup::"
         
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 7700bd50e..3cc4fce34 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -10,6 +10,7 @@ jobs:
             os: ubuntu-latest
             config: production --auto-download --all-bindings --editline --docs
             cache-key: production
+            strip-bin: strip
             python-bindings: true
             build-documentation: true
             check-examples: true
@@ -21,6 +22,7 @@ jobs:
             os: macos-11
             config: production --auto-download --python-bindings --editline
             cache-key: production
+            strip-bin: strip
             python-bindings: true
             check-examples: true
             store-to-release-name: cvc5-macOS
@@ -31,6 +33,7 @@ jobs:
             os: ubuntu-latest
             config: production --auto-download --win64
             cache-key: productionwin64
+            strip-bin: x86_64-w64-mingw32-strip
             windows-build: true
             store-to-release-name: cvc5-Win64.exe
             binary-ext: .exe
@@ -91,6 +94,7 @@ jobs:
         configure-config: ${{ matrix.config }}
         build-shared: ${{ matrix.build-shared }}
         build-static: ${{ matrix.build-static }}
+        strip-bin: ${{ matrix.strip-bin }}
 
     - name: ccache Statistics
       run: ccache -s
-- 
2.30.2