configure.in
changeset 3275 a4a34a511ba0
parent 3274 08574b033f37
child 3276 720d176be107
equal deleted inserted replaced
3274:08574b033f37 3275:a4a34a511ba0
  1559             have_video=yes
  1559             have_video=yes
  1560         fi
  1560         fi
  1561     fi
  1561     fi
  1562 }
  1562 }
  1563 
  1563 
  1564 dnl Set up the wscons video driver if enabled
       
  1565 CheckWscons()
       
  1566 {
       
  1567     AC_ARG_ENABLE(video-wscons,
       
  1568 AC_HELP_STRING([--enable-video-wscons], [use wscons video driver [[default=no]]]),
       
  1569                   , enable_video_wscons=no)
       
  1570     if test x$enable_video = xyes -a x$enable_video_wscons = xyes; then
       
  1571         AC_MSG_CHECKING(for wscons support)
       
  1572         video_wscons=no
       
  1573         AC_TRY_COMPILE([
       
  1574          #include <sys/time.h>
       
  1575          #include <dev/wscons/wsconsio.h>
       
  1576          #include <dev/wscons/wsdisplay_usl_io.h>
       
  1577         ],[
       
  1578          int wsmode = WSDISPLAYIO_MODE_DUMBFB;
       
  1579         ],[
       
  1580         video_wscons=yes
       
  1581         ])
       
  1582         AC_MSG_RESULT($video_wscons)
       
  1583         if test x$video_wscons = xyes; then
       
  1584             AC_DEFINE(SDL_VIDEO_DRIVER_WSCONS)
       
  1585             SOURCES="$SOURCES $srcdir/src/video/wscons/*.c"
       
  1586             have_video=yes
       
  1587         fi
       
  1588     fi
       
  1589 }
       
  1590 
       
  1591 dnl Set up the Atari Bios keyboard driver
  1564 dnl Set up the Atari Bios keyboard driver
  1592 CheckAtariBiosEvent()
  1565 CheckAtariBiosEvent()
  1593 {
  1566 {
  1594     SOURCES="$SOURCES $srcdir/src/video/ataricommon/*.c"
  1567     SOURCES="$SOURCES $srcdir/src/video/ataricommon/*.c"
  1595     SOURCES="$SOURCES $srcdir/src/video/ataricommon/*.S"
  1568     SOURCES="$SOURCES $srcdir/src/video/ataricommon/*.S"