diff --git a/src/MagnumExternal/OpenGL/update-flextgl.sh b/src/MagnumExternal/OpenGL/update-flextgl.sh new file mode 100755 index 000000000..1fbde500c --- /dev/null +++ b/src/MagnumExternal/OpenGL/update-flextgl.sh @@ -0,0 +1,20 @@ +#!/bin/bash + +if [ "$#" -ne 1 ]; then + echo "Usage: $0 /path/to/flextGLgen.py" + exit 1 +fi + +cd GL +$1 -D . -t . extensions.txt +cd .. + +cd GLES2 +$1 -D . -t . extensions.txt +$1 -D . -t Emscripten/ Emscripten/extensions.txt +cd .. + +cd GLES3 +$1 -D . -t . extensions.txt +$1 -D . -t Emscripten/ Emscripten/extensions.txt +cd .. diff --git a/src/MagnumExternal/Vulkan/update-flextgl.sh b/src/MagnumExternal/Vulkan/update-flextgl.sh new file mode 100755 index 000000000..628afc04d --- /dev/null +++ b/src/MagnumExternal/Vulkan/update-flextgl.sh @@ -0,0 +1,8 @@ +#!/bin/bash + +if [ "$#" -ne 1 ]; then + echo "Usage: $0 /path/to/flextGLgen.py" + exit 1 +fi + +$1 -D . -t . extensions.txt