2 |
|
|
3 |
URL="http://www.opengl.org/registry/api" |
URL="http://www.opengl.org/registry/api" |
4 |
HEADERS="glext.h glxext.h" |
HEADERS="glext.h glxext.h" |
5 |
|
LIB="GL" |
6 |
|
|
7 |
for i in ${HEADERS} |
for i in ${HEADERS} |
8 |
do |
do |
9 |
echo "fetching ${URL}/${i}..." |
echo "fetching ${URL}/${i}..." |
10 |
[[ -f $(pwd)/${i} ]] && rm ${i} |
[[ -f $(pwd)/${i} ]] && rm ${i} |
11 |
wget -c ${URL}/${i} |
wget -c ${URL}/${LIB}/${i} |
12 |
|
|
13 |
define="$(basename ${i} .h | tr [a-z] [A-Z)" |
define="$(basename ${i} .h | tr [a-z] [A-Z)" |
14 |
grep "^#define ${define//EXT}_${define}_VERSION" ${i} \ |
grep "^#define ${define//EXT}_${define}_VERSION" ${i} \ |