build-scripts/raspberrypi-buildbot.sh
changeset 7805 4f0f7b64afa5
parent 7800 76e4b6825efc
child 8007 f4264c673a8d
     1.1 --- a/build-scripts/raspberrypi-buildbot.sh	Thu Oct 10 21:51:39 2013 -0700
     1.2 +++ b/build-scripts/raspberrypi-buildbot.sh	Fri Oct 11 10:58:05 2013 -0400
     1.3 @@ -38,9 +38,11 @@
     1.4  mkdir -p $BUILDBOTDIR
     1.5  pushd $BUILDBOTDIR
     1.6  
     1.7 -export CC=/opt/rpi-tools/arm-bcm2708/gcc-linaro-arm-linux-gnueabihf-raspbian/bin/arm-linux-gnueabihf-gcc
     1.8 +SYSROOT="/opt/rpi-sysroot"
     1.9 +export CC="/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"
    1.10 +# -L$SYSROOT/usr/lib/arm-linux-gnueabihf"
    1.11  # !!! FIXME: shouldn't have to --disable-* things here.
    1.12 -../configure --host=arm-raspberry-linux-gnueabihf --disable-pulseaudio --disable-esd --prefix="$PWD/rpi-sdl2-installed"
    1.13 +../configure --with-sysroot=$SYSROOT --host=arm-raspberry-linux-gnueabihf --prefix=$PWD/rpi-sdl2-installed --disable-pulseaudio --disable-esd
    1.14  $MAKE
    1.15  $MAKE install
    1.16  # Fix up a few things to a real install path on a real Raspberry Pi...