pico-sdk doesn't have picotool anymore

[acassis]

Description / Steps to reproduce the issue

$ export PICO_SDK_PATH=~/pico-sdk

$ ./tools/configure.sh raspberrypi-pico:usbnsh

$ make -j
picotool uf2 convert --quiet -t elf nuttx nuttx.uf2;
/usr/bin/bash: line 1: picotool: command not found

On which OS does this issue occur?

[OS: Linux]

What is the version of your OS?

Ubuntu 24.10

NuttX Version

master

Issue Architecture

[Arch: arm]

Issue Area

[Area: Build System]

Verification

• I have verified before submitting the report.

[acassis]

I found the solution here: https://forums.raspberrypi.com/viewtopic.php?t=358951

cd ~/pico
sudo apt install libusb-1.0-0-dev
git clone https://github.com/raspberrypi/picotool.git
cd picotool
mkdir build
cd build
cmake ..
make
sudo ln -s ~/pico/picotool/build/picotool /usr/local/bin/picotool

Note: using the pico-sdk branch 1.1.2 is failing on Ubuntu 24.10:

make[1]: *** No rule to make target '/home/alan/pico-sdk/src/rp2040/boot_stage2/boot2_w25q080.S', needed by 'rp2040_boot_stage2.elf'.  Stop.
make: *** [tools/Unix.mk:548: nuttx] Error 2