Updated configure script.
1.1 --- a/configure Tue Dec 29 19:13:56 2015 +0100
1.2 +++ b/configure Tue Dec 29 19:14:19 2015 +0100
1.3 @@ -22938,6 +22938,21 @@
1.4 *-*-bsdi*) ARCH=bsdi ;;
1.5 *-*-freebsd*) ARCH=freebsd ;;
1.6 *-*-dragonfly*) ARCH=freebsd ;;
1.7 + *-raspberry-netbsd*)
1.8 + # Raspberry Pi
1.9 + ARCH=netbsd
1.10 + RPI_CFLAGS="-I/usr/pkg/include -I/usr/pkg/include/interface/vcos/pthreads -I/usr/pkg/include/interface/vmcs_host/linux"
1.11 + CFLAGS="$CFLAGS $RPI_CFLAGS"
1.12 + SDL_CFLAGS="$SDL_CFLAGS $RPI_CFLAGS"
1.13 + EXTRA_CFLAGS="$EXTRA_CFLAGS $RPI_CFLAGS"
1.14 + EXTRA_LDFLAGS="$EXTRA_LDFLAGS -Wl,-R/usr/pkg/lib -L/usr/pkg/lib -lbcm_host -ldl"
1.15 +
1.16 + if test x$enable_video = xyes; then
1.17 + SOURCES="$SOURCES $srcdir/src/video/raspberry/*.c"
1.18 + $as_echo "#define SDL_VIDEO_DRIVER_RPI 1" >>confdefs.h
1.19 + SUMMARY_video="${SUMMARY_video} raspberry"
1.20 + fi
1.21 + ;;
1.22 *-*-netbsd*) ARCH=netbsd ;;
1.23 *-*-openbsd*) ARCH=openbsd ;;
1.24 *-*-sysv5*) ARCH=sysv5 ;;