configure.in
changeset 1187 19d8949b4584
parent 1175 867f521591e5
child 1191 2bd4cec0de63
     1.1 --- a/configure.in	Tue Nov 22 15:11:33 2005 +0000
     1.2 +++ b/configure.in	Tue Nov 22 15:19:50 2005 +0000
     1.3 @@ -1645,6 +1645,37 @@
     1.4      fi
     1.5  }
     1.6  
     1.7 +dnl Set up the wscons video driver if enabled
     1.8 +CheckWscons()
     1.9 +{
    1.10 +    AC_ARG_ENABLE(video-wscons,
    1.11 +[  --enable-video-wscons   use wscons video driver [default=no]],
    1.12 +                  , enable_video_wscons=no)
    1.13 +    if test x$enable_video = xyes -a x$enable_video_wscons = xyes; then
    1.14 +        AC_MSG_CHECKING(for wscons support)
    1.15 +        video_wscons=no
    1.16 +        AC_LANG_C
    1.17 +        AC_TRY_COMPILE([
    1.18 +       #include <sys/time.h>
    1.19 +       #include <dev/wscons/wsconsio.h>
    1.20 +        ],[
    1.21 +        ],[
    1.22 +        video_wscons=yes
    1.23 +        ])
    1.24 +        AC_MSG_RESULT($video_wscons)
    1.25 +        if test x$video_wscons = xyes; then
    1.26 +            CFLAGS="$CFLAGS -DENABLE_WSCONS"
    1.27 +            VIDEO_SUBDIRS="$VIDEO_SUBDIRS wscons"
    1.28 +            VIDEO_DRIVERS="$VIDEO_DRIVERS wscons/libvideo_wscons.la"
    1.29 +        else
    1.30 +      AC_MSG_ERROR([
    1.31 +*** Failed to find wscons includes.])
    1.32 +        fi
    1.33 +      AC_LANG_C
    1.34 +    fi
    1.35 +}
    1.36 +
    1.37 +
    1.38  dnl Set up the PicoGUI video driver if enabled
    1.39  CheckPicoGUI()
    1.40  {
    1.41 @@ -2210,6 +2241,7 @@
    1.42          CheckNAS
    1.43          CheckX11
    1.44          CheckAAlib
    1.45 +	CheckWscons
    1.46          CheckOpenGL
    1.47          CheckPTHREAD
    1.48          CheckSIGACTION
    1.49 @@ -3088,6 +3120,7 @@
    1.50  src/video/picogui/Makefile
    1.51  src/video/ps2gs/Makefile
    1.52  src/video/qtopia/Makefile
    1.53 +src/video/wscons/Makefile
    1.54  src/video/quartz/Makefile
    1.55  src/video/riscos/Makefile
    1.56  src/video/svga/Makefile