From 80bcef0cc1f45189f372e7793b91f4c6e5c1169d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Radek=20Barto=C5=88?= Date: Fri, 2 Feb 2024 10:19:55 +0100 Subject: [PATCH] Enable `-O2` FFmpeg optimizations but disable `-fno-builtin-sin` and `-fno-builtin-cos` (#95) --- .github/scripts/ffmpeg/build.sh | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/.github/scripts/ffmpeg/build.sh b/.github/scripts/ffmpeg/build.sh index a4d2bb1c2..5f1323265 100755 --- a/.github/scripts/ffmpeg/build.sh +++ b/.github/scripts/ffmpeg/build.sh @@ -12,15 +12,20 @@ if [ $RUN_CONFIG = 1 ] || [ ! -f "$FFMPEG_BUILD_PATH/Makefile" ] ; then echo "::group::Configure FFmpeg" rm -rf $FFMPEG_BUILD_PATH/* - CFLAGS="-Wno-incompatible-pointer-types" \ + if [ $DEBUG = 1 ] ; then + ADDITIONAL_OPTIONS=" \ + --enable-debug=3" + fi + + CFLAGS="-Wno-incompatible-pointer-types -fno-builtin-sin -fno-builtin-cos" \ $FFMPEG_SOURCE_PATH/configure \ --prefix=$FFMPEG_PATH \ --target-path="." \ --target-samples="./samples" \ - --disable-optimizations \ --arch=aarch64 \ --target-os=mingw32 \ - --cross-prefix=aarch64-w64-mingw32- + --cross-prefix=aarch64-w64-mingw32- \ + $ADDITIONAL_OPTIONS echo "::endgroup::" fi