Create glproxy's headers automatically from GL headers

Registered by Marc Ordinas i Llopis

Instead of manually copying and modifying GL headers, it'd be nice to have some automatic process to do so.

Blueprint information

Status:
Complete
Approver:
Jesse Barker
Priority:
Medium
Drafter:
Marc Ordinas i Llopis
Direction:
Approved
Assignee:
Marc Ordinas i Llopis
Definition:
Obsolete
Series goal:
Accepted for trunk
Implementation:
Unknown
Milestone target:
milestone icon backlog
Completed by
Jesse Barker

Related branches

Sprints

Whiteboard

Headline: Automatic generation of glproxy headers from the original GL ones.

Acceptance: glproxy can generate its headers automatically when GL headers change or an extension is added.

(?)

Work Items

Work items:
Remove PROXY from typedefs: TODO
Reorganize headers (include GL headers rather than duplicate the contents): TODO
Create a script to modify original headers: TODO

This blueprint contains Public information 
Everyone can see this information.