I'm experimenting with making a OpenGL ES wrapper around Direct3D, and I'd like an EGL header file which I can use. Unfortunately, the EGL page lists the header file as "coming soon".

I don't want to use one from a GPL or commercial project, where my use of it may violate their license terms.

I can piece together a header file from the spec and reference manual, but I can't find the values for the EGL_ constants anywhere which I am allowed to get them from.

Would anyone know of a header file I can use without licensing troubles?