config_query_option  SDLMIXER_NATIVE_MIDI \
                     "Enable native MIDI support?" \
                     y \
                     "--enable-music-native-midi" \
                     "--disable-music-native-midi" &&
if [[ "$SDLMIXER_NATIVE_MIDI" == "--enable-music-native-midi" ]]
then
  config_query_option  SDLMIXER_NATIVE_MIDI_GPL \
                       "Enable MIDI support using GPL only code?" \
                       n \
                       "--enable-music-native-midi-gpl" \
                       "--disable-music-native-midi-gpl"
fi
config_query_option  SDLMIXER_TIMIDITY_MIDI \
                     "Enable MIDI via timidity?" \
                     y \
                     "--enable-music-midi" \
                     "--disable-music-midi" &&
if [[ "$SDLMIXER_TIMIDITY_MIDI" == "--enable-music-midi" ]]
then
  config_query_option  SDLMIXER_TIMIDITY_MIDI_OUTPUT \
                       "Enable timidity MIDI output?" \
                       y \
                       "--enable-music-timidity-midi" \
                       "--disable-music-timidity-midi"
fi

