[Coin-symphony] Problems compiling symphony with glpk support

[Martin Mundschenk]

Hi!

I'd like to compile symphony 5.1.2 with glpk on linux. The glpk  
library and header files are found here:

/usr/include/glpk.h
/usr/lib/libglpk.a

I run configure with the following options:

$ ./configure --with-gmpl --with-glpk-lib=/usr/lib/ --with-glpk- 
incdir=/usr/include/

Configuration fails:

checking for /usr/include/glpk.h... yes
checking whether symbol glp_lpx_simplex is available with GLPK... no
configure: error: Cannot find symbol glp_lpx_simplex with GLPK
configure: error: /bin/bash './configure' failed for Osi

But the missing symbol is part of the header file /usr/include/glplpx.h:

#define lpx_simplex           glp_lpx_simplex

Is this a bug of the configuration script?

Martin