OpenGL ES 3.1 on TK1

Hello All,

I’ve been attempting to compile some of the newer OpenGL ES 3.1 Makefiles out there on the interwebs using my tegra tk1 dev kit. For whatever reason, when I try to compile with the header GLES3/gl31.h. Things appear to break. I noticed that this header isn’t in any of the examples inside the software-examples provided by nvidia either. Is there some kind of mistake here?