Turn off Wayland support for Raspberry Pi on the buildbot.
authorRyan C. Gordon <icculus@icculus.org>
Sat, 19 Apr 2014 02:26:12 -0400
changeset 87229203a56e7ffc
parent 8721 d73e451f1dc5
child 8723 cfc134c9c369
Turn off Wayland support for Raspberry Pi on the buildbot.

It's picking up the system headers instead of the RPi build files.

Theoretically, we _can_ support Wayland on this platform, though, as there
_is_ a Raspberry Pi port out there...
build-scripts/raspberrypi-buildbot.sh
     1.1 --- a/build-scripts/raspberrypi-buildbot.sh	Sat Apr 19 02:17:34 2014 -0400
     1.2 +++ b/build-scripts/raspberrypi-buildbot.sh	Sat Apr 19 02:26:12 2014 -0400
     1.3 @@ -42,7 +42,7 @@
     1.4  export CC="ccache /opt/rpi-tools/arm-bcm2708/gcc-linaro-arm-linux-gnueabihf-raspbian/bin/arm-linux-gnueabihf-gcc --sysroot=$SYSROOT -I$SYSROOT/opt/vc/include -I$SYSROOT/usr/include -I$SYSROOT/opt/vc/include/interface/vcos/pthreads -I$SYSROOT/opt/vc/include/interface/vmcs_host/linux -L$SYSROOT/opt/vc/lib"
     1.5  # -L$SYSROOT/usr/lib/arm-linux-gnueabihf"
     1.6  # !!! FIXME: shouldn't have to --disable-* things here.
     1.7 -../configure --with-sysroot=$SYSROOT --host=arm-raspberry-linux-gnueabihf --prefix=$PWD/rpi-sdl2-installed --disable-pulseaudio --disable-esd --disable-video-mir
     1.8 +../configure --with-sysroot=$SYSROOT --host=arm-raspberry-linux-gnueabihf --prefix=$PWD/rpi-sdl2-installed --disable-pulseaudio --disable-esd --disable-video-mir --disable-video-wayland
     1.9  $MAKE
    1.10  $MAKE install
    1.11  # Fix up a few things to a real install path on a real Raspberry Pi...