Fix Debian build in workflow/action
All checks were successful
Build for Releases / ensure-release-exists (push) Successful in 0s
Build for Releases / push-build-x86_64 (push) Successful in 6s
Build for Releases / push-build-aarch64 (push) Successful in 26s
Build for Releases / push-build-x86_64_debian (push) Successful in 30s
Build for Releases / push-build-aarch64_debian (push) Successful in 5m7s
All checks were successful
Build for Releases / ensure-release-exists (push) Successful in 0s
Build for Releases / push-build-x86_64 (push) Successful in 6s
Build for Releases / push-build-aarch64 (push) Successful in 26s
Build for Releases / push-build-x86_64_debian (push) Successful in 30s
Build for Releases / push-build-aarch64_debian (push) Successful in 5m7s
This commit is contained in:
parent
9a8528abed
commit
a9adcead12
1 changed files with 8 additions and 0 deletions
|
@ -162,6 +162,10 @@ jobs:
|
|||
pushd break_interval_clone >&/dev/null
|
||||
|
||||
git checkout "${GITHUB_REF_NAME}"
|
||||
|
||||
# Patch CMakeLists.txt as some flags aren't yet supported by Debian's GCC.
|
||||
sed -i -e 's/-fstrict-flex-arrays=3//g' CMakeLists.txt
|
||||
|
||||
cmake -S . -B buildRelease -DCMAKE_BUILD_TYPE=Release
|
||||
make -C buildRelease
|
||||
|
||||
|
@ -218,6 +222,10 @@ jobs:
|
|||
pushd break_interval_clone >&/dev/null
|
||||
|
||||
git checkout "${GITHUB_REF_NAME}"
|
||||
|
||||
# Patch CMakeLists.txt as some flags aren't yet supported by Debian's GCC.
|
||||
sed -i -e 's/-fstrict-flex-arrays=3//g' CMakeLists.txt
|
||||
|
||||
cmake -S . -B buildRelease -DCMAKE_BUILD_TYPE=Release
|
||||
make -C buildRelease
|
||||
|
||||
|
|
Loading…
Reference in a new issue