ラズパイpico wのVSCodeでのincludeエラーを直したい（CMake）

実現したいこと

Raspberry Pi pico Wを使うために、 MacのVSCodeでC言語のプログラムを書いています。Cのコード内にエラーはないのですが、
pico-sdk内のopt.h
(pico-sdk/lib/lwip/src/include/lwip/opt.h)
でincludeエラーが出てしまいます。
エラーを消してビルドし、.uf2ファイルを作成したいです。
どなたかご教示いただければ幸いです。

発生している問題・分からないこと

プロジェクトを再構成したところ、Cのコードにはエラーが出ないのですが、pico-sdk内のヘッダーファイルopt.hでエラーが出ました。

エラーメッセージ

error

1lwipopts.h: No such file or directory

該当のソースコード

C

1#include "lwipopts.h"2

試したこと・調べたこと

上記の詳細・結果

teratailで似たような質問を見つけました。
リンク内容

これと同じ原因なのかもしれないのですが、私のPCがmacなので対処方法がわからないです。

環境

macbook, VSCode
コンパイラはGCC 14.1.0 arm-none-eabi

###CMakeList
CMakeListsの中身も貼っておきます。

C

1cmake_minimum_required(VERSION 3.13)2 3set(CMAKE_C_STANDARD 11)4set(CMAKE_CXX_STANDARD 17)5# Set the path to your Pico SDK installation directory6#set(PICO_SDK_PATH "/Users/UserName/pico/pico-sdk" CACHE PATH "Path to the Pico SDK")7 8set(PICO_BOARD pico_w)9 10include(pico_sdk_import.cmake)11 12project(tcp_client_pico_w C CXX ASM)13 14# Initialize the Pico SDK15pico_sdk_init()16 17# Add executable18add_executable(tcp_client 19 tcp_client.c 20)21 22# Include directories23target_include_directories(tcp_client PRIVATE ${CMAKE_CURRENT_LIST_DIR})24 25# Link libraries26target_link_libraries(tcp_client 27 pico_stdlib 28 pico_cyw43_arch_lwip_threadsafe_background 29 lwip/sockets 30)31 32# Enable USB output, disable UART output33pico_enable_stdio_usb(tcp_client 1)34pico_enable_stdio_uart(tcp_client 0)35 36# Create map/bin/hex file etc.37pico_add_extra_outputs(tcp_client)

補足

特になし