+ if(get_gl_api()==OPENGL && get_gl_version()>=Version(3, 0))
+ {
+ typedef GLubyte *(APIENTRY *FPtr_glGetStringi)(GLenum, GLuint);
+ FPtr_glGetStringi glGetStringi = reinterpret_cast<FPtr_glGetStringi>(get_proc_address("glGetStringi"));
+ int n_extensions;
+ glGetIntegerv(GL_NUM_EXTENSIONS, &n_extensions);
+ for(int i=0; i<n_extensions; ++i)
+ extensions.insert(reinterpret_cast<const char *>(glGetStringi(GL_EXTENSIONS, i)));
+ }
+ else
+ {
+ if(const char *gl_ext = reinterpret_cast<const char *>(glGetString(GL_EXTENSIONS)))
+ {
+ vector<string> exts = split(gl_ext);
+ extensions.insert(exts.begin(), exts.end());
+ }
+ }
+
+ init_done = true;
+ }
+
+ return extensions.count(ext);
+}
+
+bool is_supported(const Version &core_version, const Version &deprecated_version)
+{
+ const Version &version = get_gl_version();
+ if(deprecated_version && version>=deprecated_version && get_gl_profile()==CORE_PROFILE)
+ return false;
+ return (version>=core_version);
+}
+
+bool is_disabled(const string &ext)
+{
+ static set<string> disabled_exts;
+ static bool init_done = false;
+
+ if(!init_done)
+ {
+ if(const char *disable_ptr = getenv("MSPGL_DISABLE_EXTENSIONS"))