From 1769c2f45717a13ced5c1193c63e5efd6ac284b6 Mon Sep 17 00:00:00 2001
From: Bartosz Taudul <wolf@nereid.pl>
Date: Fri, 27 Sep 2024 15:54:14 +0200
Subject: [PATCH] Add imgui opengl loader diff, for reference.

The repo url is https://github.com/dearimgui/gl3w_stripped.
---
 cmake/gl3w-extra-symbols.patch | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 cmake/gl3w-extra-symbols.patch

diff --git a/cmake/gl3w-extra-symbols.patch b/cmake/gl3w-extra-symbols.patch
new file mode 100644
index 00000000..7fc7c44a
--- /dev/null
+++ b/cmake/gl3w-extra-symbols.patch
@@ -0,0 +1,14 @@
+diff --git a/extra_symbols.txt b/extra_symbols.txt
+index 447818e..d086538 100644
+--- a/extra_symbols.txt
++++ b/extra_symbols.txt
+@@ -1,3 +1,9 @@
++glCompressedTexImage2D
++GL_LINEAR_MIPMAP_LINEAR
++GL_TEXTURE_WRAP_S
++GL_TEXTURE_WRAP_T
++GL_REPEAT
++GL_CLAMP_TO_EDGE
+ glReadPixels
+ glClearColor
+ glClear