[ci] Disable tests if Catch2 does not provide Catch2WithMain

celtera · Sep 23, 2023 · c74a0a5 · c74a0a5
1 parent d7927d0
commit c74a0a5
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -416,6 +416,10 @@ if(LIBREMIDI_TESTS)
   )
 
   FetchContent_MakeAvailable(Catch2)
+  if(NOT TARGET Catch2::Catch2WithMain)
+    message(WARNING "libremidi: Catch2::Catch2WithMain target not found")
+    return()
+  endif()
 
   message(STATUS "libremidi: compiling tests")
   if(LIBREMIDI_CI)