X-Git-Url: http://git.tdb.fi/?a=blobdiff_plain;f=scripts%2Fextgen.py;fp=scripts%2Fextgen.py;h=7083e13a1e6dcfc8ad00a3179bcd13cbe7f12bdb;hb=3297703b932007051decb2f1353b93a1a2d4157c;hp=ec57e2efb912fd9287185d7d5f0ab5bd9aa8609c;hpb=346ed5bd91f10489acd280e2165a951d6938f0df;p=libs%2Fgl.git diff --git a/scripts/extgen.py b/scripts/extgen.py index ec57e2ef..7083e13a 100755 --- a/scripts/extgen.py +++ b/scripts/extgen.py @@ -31,6 +31,7 @@ if sys.argv[i].startswith("gl"): i += 1 target_ext = sys.argv[i] +backport_ext = None out_base = None if target_ext.endswith(".glext"): fn = target_ext @@ -46,6 +47,8 @@ if target_ext.endswith(".glext"): core_version = parts[2] elif parts[0]=="secondary": secondary.append(parts[1]) + elif parts[0]=="backport": + backport_ext = parts[1] if i+11: + print "Warning: multiple backport extension candidates: %s"%(" ".join(e.name for e in backport_ext_candidates)) + + for e in backport_ext_candidates: + if e.base_name==target_ext.base_name: + backport_ext = e + + if not backport_ext and len(backport_ext_candidates)==1: + print "Warning: potential backport extension has mismatched name: %s"%backport_ext_candidates[0].name for f in funcs: f.typedef = "FPtr_%s"%f.name