configure.in
changeset 3276 720d176be107
parent 3275 a4a34a511ba0
child 3283 1ed5d432e468
equal deleted inserted replaced
3275:a4a34a511ba0 3276:720d176be107
  1527             have_video=yes
  1527             have_video=yes
  1528         fi
  1528         fi
  1529     fi
  1529     fi
  1530 }
  1530 }
  1531 
  1531 
  1532 dnl Find the VGL includes and libraries
       
  1533 CheckVGL()
       
  1534 {
       
  1535     AC_ARG_ENABLE(video-vgl,
       
  1536 AC_HELP_STRING([--enable-video-vgl], [use VGL video driver [[default=no]]]),
       
  1537                   , enable_video_vgl=no)
       
  1538     if test x$enable_video = xyes -a x$enable_video_vgl = xyes; then
       
  1539         AC_MSG_CHECKING(for libVGL support)
       
  1540         video_vgl=no
       
  1541         AC_TRY_COMPILE([
       
  1542          #include <sys/fbio.h>
       
  1543          #include <sys/consio.h>
       
  1544          #include <sys/kbio.h>
       
  1545          #include <vgl.h>
       
  1546         ],[
       
  1547          VGLBitmap bitmap;
       
  1548          bitmap.Type = VIDBUF32;
       
  1549          bitmap.PixelBytes = 4;
       
  1550          exit(bitmap.Bitmap);
       
  1551         ],[
       
  1552         video_vgl=yes
       
  1553         ])
       
  1554         AC_MSG_RESULT($video_vgl)
       
  1555         if test x$video_vgl = xyes; then
       
  1556             AC_DEFINE(SDL_VIDEO_DRIVER_VGL)
       
  1557             SOURCES="$SOURCES $srcdir/src/video/vgl/*.c"
       
  1558             EXTRA_LDFLAGS="$EXTRA_LDFLAGS -lvgl"
       
  1559             have_video=yes
       
  1560         fi
       
  1561     fi
       
  1562 }
       
  1563 
       
  1564 dnl Set up the Atari Bios keyboard driver
  1532 dnl Set up the Atari Bios keyboard driver
  1565 CheckAtariBiosEvent()
  1533 CheckAtariBiosEvent()
  1566 {
  1534 {
  1567     SOURCES="$SOURCES $srcdir/src/video/ataricommon/*.c"
  1535     SOURCES="$SOURCES $srcdir/src/video/ataricommon/*.c"
  1568     SOURCES="$SOURCES $srcdir/src/video/ataricommon/*.S"
  1536     SOURCES="$SOURCES $srcdir/src/video/ataricommon/*.S"
  2363         CheckDirectFB
  2331         CheckDirectFB
  2364         CheckFusionSound
  2332         CheckFusionSound
  2365         CheckPS2GS
  2333         CheckPS2GS
  2366         CheckPS3
  2334         CheckPS3
  2367         CheckSVGA
  2335         CheckSVGA
  2368         CheckVGL
       
  2369         CheckWscons
       
  2370         CheckOpenGLX11
  2336         CheckOpenGLX11
  2371         CheckInputEvents
  2337         CheckInputEvents
  2372         CheckTslib
  2338         CheckTslib
  2373         CheckUSBHID
  2339         CheckUSBHID
  2374         CheckPTHREAD
  2340         CheckPTHREAD