config_query_option ANJ_SCINTILLA "Build the Scintilla based editor" y       \
                    "--enable-plugin-scintilla" "--disable-plugin-scintilla" &&

config_query_option ANJ_VALGRIND "Build the Valgrind plugin" y               \
                    "--enable-plugin-valgrind" "--disable-plugin-valgrind"
