From c5457b4797c9e0e9295653625b6628c64bb1d4b6 Mon Sep 17 00:00:00 2001
From: Laura Prieto Saavedra <lauraprietosaavedra@gmail.com>
Date: Mon, 19 Aug 2024 11:46:45 -0400
Subject: [PATCH] Add prototypes flag to CI

---
 .github/workflows/main_debug.yml    | 2 +-
 .github/workflows/main_release.yml  | 2 +-
 .github/workflows/main_warnings.yml | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/main_debug.yml b/.github/workflows/main_debug.yml
index 2af98dc52b..0ec4a5cd21 100644
--- a/.github/workflows/main_debug.yml
+++ b/.github/workflows/main_debug.yml
@@ -61,7 +61,7 @@ jobs:
         run: |
           mkdir build-debug
           cd build-debug
-          cmake ../ -DCMAKE_BUILD_TYPE=Debug
+          cmake ../ -DCMAKE_BUILD_TYPE=Debug -DBUILD_PROTOTYPES=ON
           make -j${{ env.COMPILE_JOBS }}
 
       # These tests require a single core each so we will run them in parallel
diff --git a/.github/workflows/main_release.yml b/.github/workflows/main_release.yml
index f0d5d2b127..df6db92957 100644
--- a/.github/workflows/main_release.yml
+++ b/.github/workflows/main_release.yml
@@ -59,7 +59,7 @@ jobs:
         run: |
           mkdir build-release
           cd build-release
-          cmake ../ -DCMAKE_BUILD_TYPE=Release
+          cmake ../ -DCMAKE_BUILD_TYPE=Release -DBUILD_PROTOTYPES=ON
           make -j${{ env.COMPILE_JOBS }}
 
       # These tests require a single core each so we will run them in parallel
diff --git a/.github/workflows/main_warnings.yml b/.github/workflows/main_warnings.yml
index 2a76ee695c..e2b17d05b8 100644
--- a/.github/workflows/main_warnings.yml
+++ b/.github/workflows/main_warnings.yml
@@ -59,5 +59,5 @@ jobs:
         run: |
           mkdir build-warnings
           cd build-warnings
-          cmake ../ -DCMAKE_BUILD_TYPE=Debug -DCMAKE_COMPILE_WARNING_AS_ERROR=ON
+          cmake ../ -DCMAKE_BUILD_TYPE=Debug -DCMAKE_COMPILE_WARNING_AS_ERROR=ON -DBUILD_PROTOTYPES=ON
           make -j${{ env.COMPILE_JOBS }}