config_query_option ICEDTEA6_DOCS "Generate Documentation?" y     \
                                  "--enable-docs"                 \
                                  "--disable-docs"                &&

config_query_option ICEDTEA6_OPT "Enable build optimizations?" y  \
                                 "--enable-optimizations"         \
                                 "--disable-optimizations"        &&

config_query_option ICEDTEA6_PARA "Use parallel build?" n         \
                                  "--with-parallel-jobs"          \
                                  "--without-parallel-jobs"      
