From b98aede1e14bbc22ac4d1351eda69b1c8bfd2d08 Mon Sep 17 00:00:00 2001 From: Deve Date: Tue, 22 May 2018 22:01:08 +0200 Subject: [PATCH] Fix for old headers --- src/graphics/gl_headers.hpp | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/graphics/gl_headers.hpp b/src/graphics/gl_headers.hpp index e41ac180b..fc9867cb5 100644 --- a/src/graphics/gl_headers.hpp +++ b/src/graphics/gl_headers.hpp @@ -62,6 +62,12 @@ extern "C" { #define GL_BGRA 0x80E1 #define GL_BGR 0x80E0 #define GL_FRAMEBUFFER_COMPLETE_EXT GL_FRAMEBUFFER_COMPLETE +#ifndef GL_COMPRESSED_SRGB_ALPHA_S3TC_DXT5_EXT +#define GL_COMPRESSED_SRGB_ALPHA_S3TC_DXT5_EXT 0x8C4F +#endif +#ifndef GL_COMPRESSED_RGBA_S3TC_DXT5_EXT +#define GL_COMPRESSED_RGBA_S3TC_DXT5_EXT 0x83F3 +#endif #endif #else