Added support for building for NetBSD on the Raspberry Pi (thanks, Jared!).
authorRyan C. Gordon <icculus@icculus.org>
Tue, 29 Dec 2015 02:27:02 -0500
changeset 9985091503bd5054
parent 9984 df034dc2f547
child 9986 081fbd89a347
Added support for building for NetBSD on the Raspberry Pi (thanks, Jared!).

Fixes Bugzilla #3179.
configure.in
     1.1 --- a/configure.in	Tue Dec 29 02:16:14 2015 -0500
     1.2 +++ b/configure.in	Tue Dec 29 02:27:02 2015 -0500
     1.3 @@ -2846,6 +2846,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 ;;