dear Guix, i'm trying to compile something to a raspberry rp2040 microcontroller (https://codeberg.org/Riku_V/pico-serprog).
$ guix shell gcc-toolchain cmake make pkg-config -e "((@ (gnu packages embedded) make-arm-none-eabi-toolchain-7-2018-q2-update))" $ cd _deps $ git clone https://github.com/raspberrypi/pico-sdk.git pico_sdk-src $ cd .. $ cmake . $ make so far, so good. it compiles for a while, but then it fails with: [ 14%] Building CXX object CMakeFiles/pico_serprog.dir/_deps/pico_sdk-src/src/rp2_common/pico_standard_link/new_delete.cpp.obj In file included from pico-serprog/_deps/pico_sdk-src/src/rp2_common/pico_standard_link/new_delete.cpp:11:0: /gnu/store/7i9fw82x6hljy6sb4g10v2dl53l7pybl-profile/arm-none-eabi/include/c++/cstdlib:75:25: fatal error: stdlib.h: No such file or directory #include_next <stdlib.h> if i read this right, it tries to cross compile some C++ stuff, but a header file is missing. $ guix locate stdlib.h [...] gcc-toolchain@13.2.0 /gnu/store/dpfxpfyghkc19wz8jwaw31llhnvn8ngx-gcc-toolchain-13.2.0/include/stdlib.h gcc-toolchain@11.3.0 /gnu/store/5vn4pkf70ql7v1svrfknfkfsh4m3737h-gcc-toolchain-11.3.0/include/stdlib.h clang-toolchain@15.0.7 /gnu/store/6m5gi7l7bi93gnzm2j422q9wawq3p6al-clang-toolchain-15.0.7/include/stdlib.h [...] i.e. it's usually part of the gcc-toolchain package... but it's not part of the cross-compiling ones? is that a bug in (gnu packages embedded)? shall i look into fixing it? or am i the one who has invalid expectations? -- • attila lendvai • PGP: 963F 5D5F 45C7 DFCD 0A39 -- “If money is your hope for independence you will never have it. The only real security that a man will have in this world is a reserve of knowledge, experience, and ability.” — Henry Ford (1863–1947)
