myname@computer:~/Git/pdnd-picoprobe$ git pull
Already up to date.
myname@computer:~/Git/pdnd-picoprobe$ cd build
myname@computer:~/Git/pdnd-picoprobe/build$ cmake ..
PICO_SDK_PATH is /home/myname/Git/pico-sdk
PICO platform is rp2040.
PICO target board is pico.
Using board configuration from /home/myname/Git/pico-sdk/src/boards/include/boards/pico.h
TinyUSB available at /home/myname/Git/pico-sdk/lib/tinyusb/src/portable/raspberrypi/rp2040; adding USB support.
-- Configuring done
CMake Error at CMakeLists.txt:9 (add_executable):
Cannot find source file:
src/pdnd/pio/pio_spi.c
Tried extensions .c .C .c++ .cc .cpp .cxx .cu .m .M .mm .h .hh .h++ .hm
.hpp .hxx .in .txx
-- Generating done
CMake Generate step failed. Build files cannot be regenerated correctly.
myname@computer:~/Git/pdnd-picoprobe/build$ find pio_spi.c
find: ‘pio_spi.c’: No such file or directory
myname@computer:~/Git/pdnd-picoprobe/build$ find . -name pio_spi.c
myname@computer:~/Git/pdnd-picoprobe/build$ find .. -name pio_spi.c
First time using pico_sdk, btw
cmake failed. Just built pico-sdk and picoprobe successfully