Arduide, un IDE alternativo ad Arduino

Il problema è nella toolchain, precisamente nel compilatore gcc.

Magari non hai installato il pacchetto "libmpc", però trovo molto strano il percorso in cui sono messe le librerie di gcc, in pratica sotto /lib ci vanno le librerie di sistema, tipo udev, i moduli del kernel ecc, mentre sotto /usr/lib ci vanno le libreria non legate con il sistema ma con le applicazioni utente.

Ho controllato il PKGBUILD ed è corretto, strano molto strano.

Ciao.