config_query_list GTKWAVE_GTK "Build with which GTK?" "GTK2" "GTK1"
