Christopher Howard writes: > […] This is what I > have to do to get arduino-ide running (as well as running patchelf on > the generated binaries, but that is another story...) Recently, I also built the Arduino IDE to upload the software onto my Open Theremin. Instead of using patchelf I opted to make the loader available globally: ln -s $(guix build glibc)/lib/ld-linux-x86-64.so.2 /lib64/ On Guix System we can also use “extra-special-file”: (extra-special-file "/lib64/ld-linux-x86-64.so.2" (file-append glibc "/lib/ld-linux-x86-64.so.2")) -- Ricardo