source "${GRIMOIRE}/CMAKE_CONFIGURE" &&

config_query_option WEBKIT_OPTS "Enable support for WebGL" y \
                                "-DENABLE_WEBGL=ON" \
                                "-DENABLE_WEBGL=OFF" &&

config_query_option WEBKIT_OPTS "Enable JIT compilation?" y \
                                "-DENABLE_JIT=ON" \
                                "-DENABLE_JIT=OFF" &&

config_query_option WEBKIT_OPTS "Enable Media statistics?" n \
                                "-DENABLE_MEDIA_STATISTICS=ON" \
                                "-DENABLE_MEDIA_STATISTICS=OFF"
