CHOICE_debug_VALUE='nodebug'
CHOICE_graphics_VALUE='pure'
CHOICE_sound_VALUE='mixsdl'
CHOICE_mikmod_VALUE='internal'
CHOICE_ovcodec_VALUE='none'
CHOICE_netplay_VALUE='none'
CHOICE_joystick_VALUE='disabled'
CHOICE_ioformat_VALUE='stdio_zip'
CHOICE_accel_VALUE='asm'
CHOICE_threadlib_VALUE='sdl'
INPUT_install_prefix_VALUE='/usr/local/games'
INPUT_install_bindir_VALUE='$prefix/bin'
INPUT_install_libdir_VALUE='$prefix/lib'
INPUT_install_sharedir_VALUE='$prefix/share'
