message(
            WARNING
                "CMAKE_TOOLCHAIN_FILE is set but does not point to a vcpkg toolchain. "
                "Make sure that vcpkg is installed and can be used by Brisk. "
                "Define HAS_VCPKG to indicate that Vcpkg toolchain is loaded")