comparison configure @ 25271:4ba5a1593296

add new configure option to disable VIDIX PCI device name database (saves a 300 kB on mplayer binary)
author ben
date Tue, 04 Dec 2007 18:10:20 +0000
parents b3bc237eae84
children 0a5be31447bb
comparison
equal deleted inserted replaced
25270:f2a95277b9cf 25271:4ba5a1593296
335 --disable-vidix-internal disable internal VIDIX [for x86 *nix] 335 --disable-vidix-internal disable internal VIDIX [for x86 *nix]
336 --disable-vidix-external disable external VIDIX [for x86 *nix] 336 --disable-vidix-external disable external VIDIX [for x86 *nix]
337 --with-vidix-drivers[=*] list of VIDIX drivers to be compiled in 337 --with-vidix-drivers[=*] list of VIDIX drivers to be compiled in
338 Available: cyberblade,ivtv,mach64,mga,mga_crtc2, 338 Available: cyberblade,ivtv,mach64,mga,mga_crtc2,
339 nvidia,pm2,pm3,radeon,rage128,savage,sis,unichrome 339 nvidia,pm2,pm3,radeon,rage128,savage,sis,unichrome
340 --disable-vidix-pcidb disable VIDIX PCI device name database
340 --enable-gl enable OpenGL video output [autodetect] 341 --enable-gl enable OpenGL video output [autodetect]
341 --enable-dga2 enable DGA 2 support [autodetect] 342 --enable-dga2 enable DGA 2 support [autodetect]
342 --enable-dga1 enable DGA 1 support [autodetect] 343 --enable-dga1 enable DGA 1 support [autodetect]
343 --enable-vesa enable VESA video output [autodetect] 344 --enable-vesa enable VESA video output [autodetect]
344 --enable-svga enable SVGAlib video output [autodetect] 345 --enable-svga enable SVGAlib video output [autodetect]
608 _network=yes 609 _network=yes
609 _winsock2=auto 610 _winsock2=auto
610 _smbsupport=auto 611 _smbsupport=auto
611 _vidix_internal=auto 612 _vidix_internal=auto
612 _vidix_external=auto 613 _vidix_external=auto
614 _vidix_pcidb=yes
613 _joystick=no 615 _joystick=no
614 _xvid=auto 616 _xvid=auto
615 _x264=auto 617 _x264=auto
616 _libnut=auto 618 _libnut=auto
617 _lirc=auto 619 _lirc=auto
995 --enable-vidix-external) _vidix_external=yes ;; 997 --enable-vidix-external) _vidix_external=yes ;;
996 --disable-vidix-external) _vidix_external=no ;; 998 --disable-vidix-external) _vidix_external=no ;;
997 --with-vidix-drivers=*) 999 --with-vidix-drivers=*)
998 _vidix_drivers=`echo $ac_option | cut -d '=' -f 2` 1000 _vidix_drivers=`echo $ac_option | cut -d '=' -f 2`
999 ;; 1001 ;;
1002 --disable-vidix-pcidb) _vidix_pcidb=no ;;
1000 --enable-joystick) _joystick=yes ;; 1003 --enable-joystick) _joystick=yes ;;
1001 --disable-joystick) _joystick=no ;; 1004 --disable-joystick) _joystick=no ;;
1002 --enable-xvid) _xvid=yes ;; 1005 --enable-xvid) _xvid=yes ;;
1003 --disable-xvid) _xvid=no ;; 1006 --disable-xvid) _xvid=no ;;
1004 --enable-x264) _x264=yes ;; 1007 --enable-x264) _x264=yes ;;
4255 _vomodules="xvidix $_vomodules" 4258 _vomodules="xvidix $_vomodules"
4256 else 4259 else
4257 _novomodules="xvidix $_novomodules" 4260 _novomodules="xvidix $_novomodules"
4258 fi 4261 fi
4259 4262
4263 echocheck "VIDIX PCI device name database"
4264 echores "$_vidix_pcidb"
4265 if test "$_vidix_pcidb" = yes ; then
4266 _vidix_pcidb_val=1
4267 else
4268 _vidix_pcidb_val=0
4269 fi
4260 4270
4261 echocheck "/dev/mga_vid" 4271 echocheck "/dev/mga_vid"
4262 if test "$_mga" = auto ; then 4272 if test "$_mga" = auto ; then
4263 _mga=no 4273 _mga=no
4264 test -c /dev/mga_vid && _mga=yes 4274 test -c /dev/mga_vid && _mga=yes
7572 STREAM_CACHE = $_stream_cache 7582 STREAM_CACHE = $_stream_cache
7573 DVBIN = $_dvbin 7583 DVBIN = $_dvbin
7574 VIDIX = $_vidix 7584 VIDIX = $_vidix
7575 VIDIX_INTERNAL = $_vidix_internal 7585 VIDIX_INTERNAL = $_vidix_internal
7576 VIDIX_EXTERNAL = $_vidix_external 7586 VIDIX_EXTERNAL = $_vidix_external
7587 VIDIX_PCIDB = $_vidix_pcidb_val
7577 CONFIG_PP = yes 7588 CONFIG_PP = yes
7578 MP3LAME = $_mp3lame 7589 MP3LAME = $_mp3lame
7579 LIBMENU = $_menu 7590 LIBMENU = $_menu
7580 7591
7581 MP3LIB = $_mp3lib 7592 MP3LIB = $_mp3lib