Hi, hmm, does avr-gcc work for anyone on Guix?
I tried to compile a simple Arduino project and I get: /home/dannym/.guix-profile/bin/avr-g++ -x c++ -include Arduino.h -MMD -c -mmcu=atmega32u4 -DF_CPU=16000000L -DARDUINO=100 -DARDUINO_ARCH_AVR -D__PROG_TYPES_COMPAT__ -Iarduino-1.6.10/hardware/arduino/avr/cores/arduino -Iarduino-1.6.10/hardware/arduino/avr/variants/leonardo -Iarduino-1.6.10/hardware/arduino/avr/libraries/SPI/src -Wall -ffunction-sections -fdata-sections -Os -DUSB_VID=0x2341 -DUSB_PID=0x8036 -fno-exceptions main.ino -o build-leonardo/main.ino.o In file included from /home/dannym/.guix-profile/include/features.h:389:0, from /home/dannym/.guix-profile/include/stdlib.h:24, from arduino-1.6.10/hardware/arduino/avr/cores/arduino/Arduino.h:23, from <command-line>:0: /home/dannym/.guix-profile/include/gnu/stubs.h:7:27: fatal error: gnu/stubs-32.h: No such file or directory compilation terminated. As you can see it tries to include the host system headers - which will not work. I have the newest Git Guix.