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

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

config_query_option ICEDTEA7_PARA "Use parallel build?" n             \
                                  "--with-parallel-jobs=$MAKE_NJOBS"  \
                                  "--without-parallel-jobs"      

.