Skip to content
Permalink
Browse files

Added support for building for NetBSD on the Raspberry Pi (thanks, Ja…

…red!).

Fixes Bugzilla #3179.
  • Loading branch information
icculus committed Dec 29, 2015
1 parent 18c7d6d commit 2254932b3e16234f461918c013f57627e26f93ab
Showing with 15 additions and 0 deletions.
  1. +15 −0 configure.in
@@ -2846,6 +2846,21 @@ case "$host" in
*-*-bsdi*) ARCH=bsdi ;;
*-*-freebsd*) ARCH=freebsd ;;
*-*-dragonfly*) ARCH=freebsd ;;
*-raspberry-netbsd*)
# Raspberry Pi
ARCH=netbsd
RPI_CFLAGS="-I/usr/pkg/include -I/usr/pkg/include/interface/vcos/pthreads -I/usr/pkg/include/interface/vmcs_host/linux"
CFLAGS="$CFLAGS $RPI_CFLAGS"
SDL_CFLAGS="$SDL_CFLAGS $RPI_CFLAGS"
EXTRA_CFLAGS="$EXTRA_CFLAGS $RPI_CFLAGS"
EXTRA_LDFLAGS="$EXTRA_LDFLAGS -Wl,-R/usr/pkg/lib -L/usr/pkg/lib -lbcm_host -ldl"

if test x$enable_video = xyes; then
SOURCES="$SOURCES $srcdir/src/video/raspberry/*.c"
$as_echo "#define SDL_VIDEO_DRIVER_RPI 1" >>confdefs.h
SUMMARY_video="${SUMMARY_video} raspberry"
fi
;;
*-*-netbsd*) ARCH=netbsd ;;
*-*-openbsd*) ARCH=openbsd ;;
*-*-sysv5*) ARCH=sysv5 ;;

0 comments on commit 2254932

Please sign in to comment.