message(STATUS"Defaulting build type to '${default_build_type}' since not specified.")
set(CMAKE_BUILD_TYPE"${default_build_type}"CACHESTRING"Choose the type of build, options are: 'Debug', 'Release', 'MinSizeRel', 'RelWithDebInfo'."FORCE)
# Set the possible values of build type for cmake-gui
set_property(CACHECMAKE_BUILD_TYPEPROPERTYSTRINGS
"Debug""Release""MinSizeRel""RelWithDebInfo")
endif()
if(CMAKE_BUILD_TYPESTREQUAL"Default")
error("Default build type is NOT supported")
endif()
# PICO_CMAKE_CONFIG: PICO_COMPILER, Optionally specifies a different compiler (other than pico_arm_gcc.cmake) - this is not yet fully supported, default=none, group=build
# If PICO_COMPILER is specified, set toolchain file to ${PICO_COMPILER}.cmake.