The only issue I had was that I couldn't find a package to install the headers in /usr/include/EGL, /usr/include/GLES2 and /usr/include/KHR. To solve this I created a -dev package ti-sgx-ti33x-ddk-um-dev which is available at https://github.com/HunterEmbedded/sgx-bbb (readme also has full instructions).
Have I missed a package you had already created with these headers?