Add option to disable compile tests

Author: oliverlee

.github/workflows/main.yml

@@ -68,7 +68,7 @@ jobs:
 
     - name: Configure CMake build
       run: |
-        cmake -S . -B build -DBUILD_COVERAGE=1 -DCMAKE_BUILD_TYPE=Debug
+        cmake -S . -B build -DBUILD_COVERAGE=1 -DCMAKE_BUILD_TYPE=Debug -DBUILD_COMPILE_TESTS=0
 
     - name: Cleanup CMake compiler check
       run: |

CMakeLists.txt

@@ -50,6 +50,7 @@ endif()
 
 
 option(BUILD_TESTS "Build tests" ON)
+option(BUILD_COMPILE_TESTS "Build compile tests" ON)
 if(BUILD_TESTS)
     enable_testing()
 endif()

tests/CMakeLists.txt

@@ -62,7 +62,9 @@ package_add_test(test_state_machine
 package_add_test(test_variant
     test_variant.cc)
 
-# compilation tests
-expect_compile_failure(failure_surjection_duplicate_keys.cc)
-expect_compile_failure(failure_surjection_entries_not_pairs.cc)
-expect_compile_failure(failure_bijection_duplicate_values.cc)
+if(BUILD_COMPILE_TESTS)
+    # compilation tests
+    expect_compile_failure(failure_surjection_duplicate_keys.cc)
+    expect_compile_failure(failure_surjection_entries_not_pairs.cc)
+    expect_compile_failure(failure_bijection_duplicate_values.cc)
+endif()