configure
changeset 9989 b01c5397d489
parent 9876 1496e502e51d
child 10009 8c6b05b0a27e
     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 ;;