Am Fr., 12. Juni 2020 um 18:24 Uhr schrieb kksubbu <notifications@github.com>:
 

On 12/06/20 8:35 pm, Christoph Thiede wrote:
> fatal error: 'GL/gl.h' file not found # include <GL/gl.h> ^~~~~~~~~

This is found in mesa-common-dev package which gets install
automatically as a dependency for libgl1-mesa-dev.


Does the configure script not check for the presence of the OpenGL headers?