Hi Lukas,
I just installed Ubuntu 21.04 and followed the README.txt and
duplicated your issue:
$ sudo apt-get install automake bison build-essential flex
gcc-arm-none-eabi gperf git libncurses5-dev libtool libusb-dev
libusb-1.0.0-dev pkg-config git
$ git clone -b master https://github.com/raspberrypi/pico-sdk.git
$ sudo mkdir /opt/rasp_pico
$ sudo mv pico-sdk /opt/rasp_pico/
$ export PICO_SDK_PATH=/opt/rasp_pico/pico-sdk
$ git clone https://github.com/apache/incubator-nuttx.git nuttx
$ git clone https://github.com/apache/incubator-nuttx-apps.git apps
$ make distclean
NuttX has not been configured!
To configure the project:
tools/configure.sh
For a list of available configurations:
tools/configure.sh -L
$ ./tools/configure.sh raspberrypi-pico:nsh
$ make
...
arm-none-eabi-gcc -nostartfiles -nodefaultlibs
-T/tmp/nuttx/boards/arm/rp2040/raspberrypi-pico/scripts/raspberrypi-pico-flash.ld
-DPICO_BOARD=\"pico\" -DPICO_BUILD=1 -DPICO_NO_HARDWARE=0
-DPICO_ON_DEVICE=1 -Ichip/boot2
-I/opt/rasp_pico/pico-sdk/src/rp2_common/boot_stage2/asminclude
-I/opt/rasp_pico/pico-sdk/src/rp2040/hardware_regs/include
-I/opt/rasp_pico/pico-sdk/src/rp2_common/hardware_base/include
-I/opt/rasp_pico/pico-sdk/src/common/pico_base/include
-I/opt/rasp_pico/pico-sdk/src/boards/include
-I/opt/rasp_pico/pico-sdk/src/rp2_common/pico_platform/include -o
rp2040_boot_stage2.elf
/opt/rasp_pico/pico-sdk/src/rp2_common/boot_stage2/boot2_w25q080.S
In file included from
/opt/rasp_pico/pico-sdk/src/rp2_common/pico_platform/include/pico/asm_helper.S:7,
from
/opt/rasp_pico/pico-sdk/src/rp2_common/boot_stage2/boot2_w25q080.S:29:
/opt/rasp_pico/pico-sdk/src/common/pico_base/include/pico.h:20:10:
fatal error: pico/version.h: No such file or directory
20 | #include "pico/version.h"
| ^~~~
compilation terminated.
make[2]: *** [chip/boot2/Make.defs:49: rp2040_boot_stage2.elf] Error 1
make[2]: Leaving directory '/tmp/nuttx/arch/arm/src'
make[1]: *** [Makefile:188: .depend] Error 2
make[1]: Leaving directory '/tmp/nuttx/arch/arm/src'
make: *** [tools/Makefile.unix:494: pass2dep] Error 2
I think there is some issue on their current repository because
version.h doesn't exist, it should be generated using cmake.
Note it still referenced in their documentation:
https://raspberrypi.github.io/pico-sdk-doxygen/pico_8h_source.html
I suggest you to return to the older version until we understand how
the new SDK work and modify NuttX to adapt to it.
I fixed is here this way:
$ cd /opt/rasp_pico/pico-sdk
$ git reset --hard 26653ea81e340
BR,
Alan
On 11/20/21, Lukáš Málek wrote:
> Dear Sir/Madam,
>
> I have been struggling for more than three days with building nuttx for
> Raspberry Pi Pico. I follow the guide Getting started. At the
> compilation, I run the following commands to compile the Nuttx.
>
> /$git clone -b master https://github.com/raspberrypi/pico-sdk.git//
> //$export PICO_SDK_PATH=""//
> //$cd nuttx//
> //$./tools/configure.sh -l raspberrypi-pico:nsh//
> //$make/
>
> Unfortunately, after making it, I got an error.
> /File pico/version.h can't be found/
>
> At pico-SDK, I can see a file version.h.ini, so I rename it to
> version.h, but after that, I got an error message that
> /File "pico/config_autogen.h" can't be found/
>
> This error is the dead-end for me. I have tried to comment the line.
> Also, I created the file that is attached, both resulting in a
> successful build. Unfortunately, the serial port is not working after
> uploading the u2f file to Qt Py RP2040 (Based on Raspberry Pi Pico). In
> Device Manager and Zadig, I can see that nothing is connected to the
> port. Is it possible that during the build, the communication via USB is
> not activated? In this case, how can I do that? I have tested the serial
> port using CMake and pico-sdk. The communication via serial port worked,
> so there must be a problem with the software.
>
> I would be very grateful for any help since I have tried everything, but
> nothing worked. My nuttx folder, as well as the pico-SDK library, is
> attached.
>
> Sincerely,
> Lukas Malek
