diff --git a/CMakeLists.txt b/CMakeLists.txt
index 22555f5..55cc945 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -25,6 +25,12 @@ list(APPEND CMAKE_MODULE_PATH
 
 include(system)
 
+# Standalone builds
+if(CMAKE_SOURCE_DIR STREQUAL PROJECT_SOURCE_DIR)
+    set(WHOA_STANDALONE 1)
+    message(STATUS "Building Storm as a standalone project")
+endif()
+
 if(WHOA_ASSERTIONS_ENABLED)
     add_definitions(-DWHOA_ASSERTIONS_ENABLED)
 endif()
@@ -60,25 +66,31 @@ endif()
 
 add_subdirectory(lib)
 
-if(CMAKE_COMPILER_IS_GNUCXX AND CMAKE_BUILD_TYPE STREQUAL "Debug")
-    # Running coverage on linux+gcc:
-    #
-    #   sudo apt install lcov
-    #   cmake -DCMAKE_BUILD_TYPE=Debug ..
-    #   make
-    #   make StormCoverage
-    #
-    # Results in `StormCoverage/index.html`
-    include(CodeCoverage)
+# Code coverage reporting
+if(WHOA_STANDALONE AND CMAKE_BUILD_TYPE STREQUAL "Debug")
+    # GCC coverage configuration
+    if(CMAKE_COMPILER_IS_GNUCXX)
+        # Running coverage on linux+gcc:
+        #
+        #   sudo apt install lcov
+        #   cmake -DCMAKE_BUILD_TYPE=Debug ..
+        #   make
+        #   make StormCoverage
+        #
+        # Results in `StormCoverage/index.html`
+        include(CodeCoverage)
 
-    setup_target_for_coverage_lcov(
-        NAME StormCoverage
-        EXECUTABLE StormTest
-        DEPENDENCIES StormTest storm
-        BASE_DIRECTORY "${PROJECT_SOURCE_DIR}/storm"
-        LCOV_ARGS --rc branch_coverage=1
-        GENHTML_ARGS --rc genhtml_branch_coverage=1
-    )
+        setup_target_for_coverage_lcov(
+                NAME StormCoverage
+                EXECUTABLE StormTest
+                DEPENDENCIES StormTest storm
+                BASE_DIRECTORY "${PROJECT_SOURCE_DIR}/storm"
+                LCOV_ARGS --rc branch_coverage=1
+                GENHTML_ARGS --rc genhtml_branch_coverage=1
+        )
+
+        message(STATUS "Code coverage reporting enabled")
+    endif()
 endif()
 
 if(WHOA_TEST_STORMDLL)
@@ -94,7 +106,7 @@ else()
     add_subdirectory(storm)
 endif()
 
-# Only build tests when standalone
-if(CMAKE_SOURCE_DIR STREQUAL PROJECT_SOURCE_DIR)
+if(WHOA_STANDALONE)
+    # Add tests when standalone
     add_subdirectory(test)
 endif()
diff --git a/storm/CMakeLists.txt b/storm/CMakeLists.txt
index 635fc15..4cbfc3c 100644
--- a/storm/CMakeLists.txt
+++ b/storm/CMakeLists.txt
@@ -62,10 +62,18 @@ if(HAS_NO_INVALID_OFFSETOF)
     )
 endif()
 
-if(CMAKE_COMPILER_IS_GNUCXX AND CMAKE_BUILD_TYPE STREQUAL "Debug")
-    include(CodeCoverage)
-    target_compile_options(${PROJECT_NAME} PRIVATE -g -fprofile-arcs -ftest-coverage -O0)
+# Standalone builds
+if(WHOA_STANDALONE)
+    # Debug build options
+    if(CMAKE_BUILD_TYPE STREQUAL "Debug")
+        # GCC debug build options
+        if(CMAKE_COMPILER_IS_GNUCXX)
+            # Enable coverage reporting
+            include(CodeCoverage)
+            target_compile_options(${PROJECT_NAME} PRIVATE -g -fprofile-arcs -ftest-coverage -O0)
 
-    # Enable ASan for debug builds on gcc
-    target_compile_options(storm PRIVATE -fsanitize=address -fno-omit-frame-pointer)
+            # Enable ASan
+            target_compile_options(storm PRIVATE -fsanitize=address -fno-omit-frame-pointer)
+        endif()
+    endif()
 endif()
diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt
index 965551b..f0fa916 100644
--- a/test/CMakeLists.txt
+++ b/test/CMakeLists.txt
@@ -51,14 +51,18 @@ target_include_directories(StormTest
         ${PROJECT_SOURCE_DIR}
 )
 
-if(CMAKE_COMPILER_IS_GNUCXX AND CMAKE_BUILD_TYPE STREQUAL "Debug")
-    include(CodeCoverage)
+# Debug build options
+if(CMAKE_BUILD_TYPE STREQUAL "Debug")
+    # GCC debug build options
+    if(CMAKE_COMPILER_IS_GNUCXX)
+        # Enable coverage reporting
+        include(CodeCoverage)
+        target_compile_options(${PROJECT_NAME} PRIVATE -g -fprofile-arcs -ftest-coverage -O0)
 
-    target_compile_options(${PROJECT_NAME} PRIVATE -g -fprofile-arcs -ftest-coverage -O0)
-
-    # Enable ASan for debug builds on gcc
-    target_compile_options(StormTest PRIVATE -fsanitize=address -fno-omit-frame-pointer)
-    target_link_options(StormTest PRIVATE -fsanitize=address)
+        # Enable ASan
+        target_compile_options(StormTest PRIVATE -fsanitize=address -fno-omit-frame-pointer)
+        target_link_options(StormTest PRIVATE -fsanitize=address)
+    endif()
 endif()
 
 install(TARGETS StormTest DESTINATION "bin")