comparison configure.in @ 1945:3182150b470f

PicoGUI is no longer maintained by the author.
author Sam Lantinga <slouken@libsdl.org>
date Wed, 26 Jul 2006 03:55:56 +0000
parents 91f41fc124a7
children 420716272158
comparison
equal deleted inserted replaced
1944:91f41fc124a7 1945:3182150b470f
1300 fi 1300 fi
1301 AC_LANG_C 1301 AC_LANG_C
1302 fi 1302 fi
1303 } 1303 }
1304 1304
1305 dnl Set up the PicoGUI video driver if enabled
1306 CheckPicoGUI()
1307 {
1308 AC_ARG_ENABLE(video-picogui,
1309 AC_HELP_STRING([--enable-video-picogui], [use PicoGUI video driver [[default=no]]]),
1310 , enable_video_picogui=no)
1311 if test x$enable_video = xyes -a x$enable_video_picogui = xyes; then
1312 AC_MSG_CHECKING(for PicoGUI support)
1313 video_picogui=no
1314 AC_TRY_COMPILE([
1315 #include <picogui.h>
1316 ],[
1317 ],[
1318 video_picogui=yes
1319 ])
1320 AC_MSG_RESULT($video_picogui)
1321 if test x$video_picogui = xyes; then
1322 AC_DEFINE(SDL_VIDEO_DRIVER_PICOGUI)
1323 SOURCES="$SOURCES $srcdir/src/video/picogui/*.c"
1324 SDL_LIBS="$SDL_LIBS -lpgui"
1325 have_video=yes
1326 fi
1327 fi
1328 }
1329
1330 dnl Set up the Atari Bios keyboard driver 1305 dnl Set up the Atari Bios keyboard driver
1331 CheckAtariBiosEvent() 1306 CheckAtariBiosEvent()
1332 { 1307 {
1333 SOURCES="$SOURCES $srcdir/src/video/ataricommon/*.c" 1308 SOURCES="$SOURCES $srcdir/src/video/ataricommon/*.c"
1334 SOURCES="$SOURCES $srcdir/src/video/ataricommon/*.S" 1309 SOURCES="$SOURCES $srcdir/src/video/ataricommon/*.S"
2061 CheckGGI 2036 CheckGGI
2062 CheckSVGA 2037 CheckSVGA
2063 CheckVGL 2038 CheckVGL
2064 CheckWscons 2039 CheckWscons
2065 CheckQtopia 2040 CheckQtopia
2066 CheckPicoGUI
2067 CheckOpenGLX11 2041 CheckOpenGLX11
2068 CheckInputEvents 2042 CheckInputEvents
2069 CheckTslib 2043 CheckTslib
2070 CheckUSBHID 2044 CheckUSBHID
2071 CheckPTHREAD 2045 CheckPTHREAD