<div dir="ltr"><div><div>Answering my own question, the problem was that, even though I installed libgl-dev, somehow that install made only a dangling symlink for libGL.so.<br><br></div>There was a link /usr/lib/.../libGL.so -> /usr/lib/.../mesa/libGL.so.1.2.0 but there was no such target file. There was in fact a mesa/libGL.so.10.1.2.28859, and when I made proper links to that, the configure and make proceeded.<br><br></div>No idea why the install of libgl-dev should do this.<br><br></div>