configure.in
changeset 1945 3182150b470f
parent 1944 91f41fc124a7
child 1952 420716272158
     1.1 --- a/configure.in	Wed Jul 26 03:24:27 2006 +0000
     1.2 +++ b/configure.in	Wed Jul 26 03:55:56 2006 +0000
     1.3 @@ -1302,31 +1302,6 @@
     1.4      fi
     1.5  }
     1.6  
     1.7 -dnl Set up the PicoGUI video driver if enabled
     1.8 -CheckPicoGUI()
     1.9 -{
    1.10 -    AC_ARG_ENABLE(video-picogui,
    1.11 -AC_HELP_STRING([--enable-video-picogui], [use PicoGUI video driver [[default=no]]]),
    1.12 -                  , enable_video_picogui=no)
    1.13 -    if test x$enable_video = xyes -a x$enable_video_picogui = xyes; then
    1.14 -        AC_MSG_CHECKING(for PicoGUI support)
    1.15 -        video_picogui=no
    1.16 -        AC_TRY_COMPILE([
    1.17 -         #include <picogui.h>
    1.18 -        ],[
    1.19 -        ],[
    1.20 -        video_picogui=yes
    1.21 -        ])
    1.22 -        AC_MSG_RESULT($video_picogui)
    1.23 -        if test x$video_picogui = xyes; then
    1.24 -            AC_DEFINE(SDL_VIDEO_DRIVER_PICOGUI)
    1.25 -            SOURCES="$SOURCES $srcdir/src/video/picogui/*.c"
    1.26 -            SDL_LIBS="$SDL_LIBS -lpgui"
    1.27 -            have_video=yes
    1.28 -        fi
    1.29 -    fi
    1.30 -}
    1.31 -
    1.32  dnl Set up the Atari Bios keyboard driver
    1.33  CheckAtariBiosEvent()
    1.34  {
    1.35 @@ -2063,7 +2038,6 @@
    1.36          CheckVGL
    1.37          CheckWscons
    1.38          CheckQtopia
    1.39 -        CheckPicoGUI
    1.40          CheckOpenGLX11
    1.41          CheckInputEvents
    1.42          CheckTslib