Christopher Howard <[email protected]> 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
