CMake: Allow excluding git submodule depends

Not every build system can handle git submodules, so expose an option to
exclude these dependencies from the build

Author: eigendude

CMakeLists.txt

@@ -40,6 +40,7 @@ set(CMAKE_EXPORT_COMPILE_COMMANDS ON)
 
 option(TESTING "Build tests" ON)
 option(TESTING_PROOFS "Build proofs tests" OFF)
+option(BUILD_INTERNAL_DEPS "Build internal dependencies from git submodules" ON)
 option(CLANG_FORMAT "Enable clang-format target" ON)
 option(CLANG_TIDY "Enable clang-tidy checks during compilation" OFF)
 option(COVERAGE "Enable generation of coverage info" OFF)
@@ -102,19 +103,23 @@ if (CLANG_FORMAT)
   include(cmake/clang-format.cmake)
 endif ()
 
-add_subdirectory(deps)
+if (BUILD_INTERNAL_DEPS)
+  add_subdirectory(deps)
+endif()
 
 include_directories(
     # project includes
     ${PROJECT_SOURCE_DIR}/core
 )
 
-include_directories(
-    SYSTEM
-    # system includes
-    deps/outcome
-    ${TINY_CBOR_INCLUDE_DIRS}
-)
+if (BUILD_INTERNAL_DEPS)
+  include_directories(
+      SYSTEM
+      # system includes
+      deps/outcome
+      ${TINY_CBOR_INCLUDE_DIRS}
+  )
+endif()
 
 add_subdirectory(core)