simbit18 commented on PR #16870:
URL: https://github.com/apache/nuttx/pull/16870#issuecomment-3205632329
====================================================================================
Configuration/Tool:
raspberrypi-pico-w/nsh-flash,CONFIG_ARM_TOOLCHAIN_GNU_EABI
2025-08-20 10:05:06
------------------------------------------------------------------------------------
Cleaning...
Configuring...
Disabling CONFIG_ARM_TOOLCHAIN_GNU_EABI
Enabling CONFIG_ARM_TOOLCHAIN_GNU_EABI
Building NuttX...
In file included from
/tools/pico-sdk/src/common/pico_base_headers/include/pico.h:64,
from
/tools/pico-sdk/src/rp2040/pico_platform/include/pico/asm_helper.S:7,
from
/tools/pico-sdk/src/rp2040/boot_stage2/boot2_w25q080.S:29:
/tools/pico-sdk/src/rp2040/pico_platform/include/pico/platform.h:26:10:
fatal error: pico/platform/common.h: No such file or directory
26 | #include "pico/platform/common.h"
| ^~~~~~~~~~~~~~~~~~~~~~~~
compilation terminated.
make[2]: *** [chip/boot2/Make.defs:56: rp2040_boot_stage2.elf] Error 1
make[2]: Target 'makedepfile' not remade because of errors.
make[1]: *** [Makefile:261: .depend] Error 2
make[1]: Target 'depend' not remade because of errors.
make: *** [tools/Unix.mk:660: pass2dep] Error 2
make: Target 'all' not remade because of errors.
/github/workspace/sources/nuttx/tools/testbuild.sh: line 385:
/github/workspace/sources/nuttx/../nuttx/nuttx.manifest: No such file or
directory
[1/1] Normalize raspberrypi-pico-w/nsh-flash
====================================================================================
@xiaoxiang781216 @acassis This error does not depend on this PR
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: commits-unsubscr...@nuttx.apache.org
For queries about this service, please contact Infrastructure at:
us...@infra.apache.org
