Consegui construir com sucesso a compilação cruzada do kodi para o Raspberry ARM no Ubuntu 16.04 x64 com opções de configuração:
PATH="$PATH:/opt/tools/arm-bcm2708/arm-rpi-4.9.3-linux-gnueabihf/bin" FFMPEG_OPTS="--cpu=cortex-a7" ./configure --host=arm-linux-gnueabihf --prefix=/usr/local --with-toolchain=/opt/tools/arm-bcm2708/arm-rpi-4.9.3-linux-gnueabihf --with-firmware=/opt/bcm-rootfs --with-platform=raspberry-pi --build=i686-linux --disable-debug
Como visto, o prefixo é / usr / local, mas quando executar make install ele não vai para / usr / local mas para / usr / local / arm-linux-gnueabihf. Eu também fiz:
make DESTDIR=/usr/local
Como obtenho / usr / local como prefixo de fato?