Ticket #1567: detect_debian_gl_header_location.diff

configure

@@ -2089 +2089 @@
 
 if test x"$opengl_vsync" = x"yes" ; then
     CONFIG_OPENGL_VSYNC_LIBS="-lGL -lGLU"
+# Debian and Ubuntu install NVIDIA GL headers to a weird location in order
+# not to overwrite the headers installed from Mesa, etc. We need to
+# add that path to include paths if that's the case. 
+    if test -d /usr/share/doc/nvidia-glx-dev/include; then 
+        CONFIG_INCLUDEPATH="$CONFIG_INCLUDEPATH /usr/share/doc/nvidia-glx-dev/include"
+    fi
 fi
 
 if test x"$direct_fb" = x"yes" ; then