diff options
author | github-classroom[bot] <66690702+github-classroom[bot]@users.noreply.github.com> | 2024-03-19 02:01:17 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-03-19 02:01:17 +0000 |
commit | 0f8d0e3cfdbd9b11b2357ed3e1a11375e7af8e80 (patch) | |
tree | 48b88b3b3b3a522a90c38b2178363a163a32f2ee /glew/auto/bin/make_index.pl |
Initial commit
Diffstat (limited to 'glew/auto/bin/make_index.pl')
-rw-r--r-- | glew/auto/bin/make_index.pl | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/glew/auto/bin/make_index.pl b/glew/auto/bin/make_index.pl new file mode 100644 index 0000000..cf247f8 --- /dev/null +++ b/glew/auto/bin/make_index.pl @@ -0,0 +1,41 @@ +#!/usr/bin/env perl +## +## Copyright (C) 2008-2019, Nigel Stewart <nigels[]users sourceforge net> +## Copyright (C) 2002-2008, Marcelo E. Magallon <mmagallo[]debian org> +## Copyright (C) 2002-2008, Milan Ikits <milan ikits[]ieee org> +## +## This program is distributed under the terms and conditions of the GNU +## General Public License Version 2 as published by the Free Software +## Foundation or, at your option, any later version. + +use strict; +use warnings; +use File::Basename; + +use lib '.'; +do 'bin/make.pl'; + +## +## Make Index +## +## Output sorted array of extension strings for indexing into extension +## enable/disable flags. This provides a way to convert an extension string +## into an integer index. +## + +my @extlist = (); + +if (@ARGV) +{ + @extlist = @ARGV; + + foreach my $ext (sort { basename($a) cmp basename($b) } @extlist) + { + my ($extname, $exturl, $extstring, $reuse, $types, $tokens, $functions, $exacts) = + parse_ext($ext); + + print "#ifdef $extname\n"; + print " \"$extname\",\n"; + print "#endif\n"; + } +} |