configure.in
changeset 2085 962aa10fa95b
parent 2079 1ed2155b7ee4
child 2093 cdaeb26ed66a
equal deleted inserted replaced
2084:b656e6f09be3 2085:962aa10fa95b
  1293 }
  1293 }
  1294 
  1294 
  1295 dnl Set up the Atari Xbios driver
  1295 dnl Set up the Atari Xbios driver
  1296 CheckAtariXbiosVideo()
  1296 CheckAtariXbiosVideo()
  1297 {
  1297 {
  1298     AC_ARG_ENABLE(xbios,
  1298     AC_ARG_ENABLE(video-xbios,
  1299 AC_HELP_STRING([--enable-video-xbios], [use Atari Xbios video driver [[default=yes]]]),
  1299 AC_HELP_STRING([--enable-video-xbios], [use Atari Xbios video driver [[default=yes]]]),
  1300                   , enable_video_xbios=yes)
  1300                   , enable_video_xbios=yes)
  1301     video_xbios=no
  1301     video_xbios=no
  1302     if test x$enable_video = xyes -a x$enable_video_xbios = xyes; then
  1302     if test x$enable_video = xyes -a x$enable_video_xbios = xyes; then
  1303         video_xbios=yes
  1303         video_xbios=yes
  1308 }
  1308 }
  1309 
  1309 
  1310 dnl Set up the Atari Gem driver
  1310 dnl Set up the Atari Gem driver
  1311 CheckAtariGemVideo()
  1311 CheckAtariGemVideo()
  1312 {
  1312 {
  1313     AC_ARG_ENABLE(gem,
  1313     AC_ARG_ENABLE(video-gem,
  1314 AC_HELP_STRING([--enable-video-gem], [use Atari Gem video driver [[default=yes]]]),
  1314 AC_HELP_STRING([--enable-video-gem], [use Atari Gem video driver [[default=yes]]]),
  1315                   , enable_video_gem=yes)
  1315                   , enable_video_gem=yes)
  1316     if test x$enable_video = xyes -a x$enable_video_gem = xyes; then
  1316     if test x$enable_video = xyes -a x$enable_video_gem = xyes; then
  1317         video_gem=no
  1317         video_gem=no
  1318         AC_CHECK_HEADER(gem.h, have_gem_hdr=yes)
  1318         AC_CHECK_HEADER(gem.h, have_gem_hdr=yes)