From 66808eec27c478b16cc3f6444589b507949b0679 Mon Sep 17 00:00:00 2001
From: Krzysztof Bieganski <kbieganski@antmicro.com>
Date: Sat, 1 Aug 2026 23:34:38 -0700
Subject: [PATCH] CI: Make light debug opt-in in CI build script (#8013)
 (#8027)

---
 .github/workflows/reusable-build.yml | 1 +
 ci/ci-build.bash                     | 7 ++++++-
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/reusable-build.yml b/.github/workflows/reusable-build.yml
index 365a5f68f..13b8052c0 100644
--- a/.github/workflows/reusable-build.yml
+++ b/.github/workflows/reusable-build.yml
@@ -97,6 +97,7 @@ jobs:
           ./ci/ci-build.bash \
             --prefix ${{ github.workspace }}/install \
             --compiler ${{ inputs.cc }} \
+            --light-debug \
             ${{ inputs.ccwarn && '--ccwarn' || '' }} \
             ${{ inputs.dev-asan && '--asan' || '' }} \
             ${{ inputs.dev-gcov && '--gcov' || '' }}
diff --git a/ci/ci-build.bash b/ci/ci-build.bash
index 64f037b33..add5624d2 100755
--- a/ci/ci-build.bash
+++ b/ci/ci-build.bash
@@ -25,6 +25,7 @@ source "$(dirname "$0")/ci-common.bash"
 OPT_ASAN=0
 OPT_CCWARN=0
 OPT_GCOV=0
+OPT_LIGHT_DEBUG=0
 OPT_COMPILER=
 OPT_PREFIX=
 while [ $# -gt 0 ]; do
@@ -37,6 +38,7 @@ while [ $# -gt 0 ]; do
       shift
       ;;
     --gcov) OPT_GCOV=1 ;;
+    --light-debug) OPT_LIGHT_DEBUG=1 ;;
     --prefix)
       [ $# -ge 2 ] || fatal "--prefix requires an argument"
       OPT_PREFIX="$2"
@@ -60,7 +62,7 @@ esac
 ################################################################################
 # Configure
 
-CONFIGURE_ARGS="--prefix=$OPT_PREFIX --enable-longtests --enable-light-debug"
+CONFIGURE_ARGS="--prefix=$OPT_PREFIX --enable-longtests"
 if [ "$OPT_CCWARN" = 1 ]; then
   CONFIGURE_ARGS="$CONFIGURE_ARGS --enable-ccwarn"
 fi
@@ -71,6 +73,9 @@ fi
 if [ "$OPT_GCOV" = 1 ]; then
   CONFIGURE_ARGS="$CONFIGURE_ARGS --enable-dev-gcov"
 fi
+if [ "$OPT_LIGHT_DEBUG" = 1 ]; then
+  CONFIGURE_ARGS="$CONFIGURE_ARGS --enable-light-debug"
+fi
 autoconf
 ./configure $CONFIGURE_ARGS CXX="$CXX"