[Osi] OsiMsk fails to configure

[Antonio Frangioni]

> look into the config.log in the Osi directory to see why configure for Osi failed

That I already posted:

>> config.log is not very helpful:
>> 
>> configure:23035: running /bin/bash './configure' --prefix=/usr/FlopC++  '--with-cplex' '--with-cplex-lib=-L/usr/cplex125/cplex/lib/x86-64_sles10_4.1/static_pic -lcplex -lpthread -lm' '--with-cplex-incdir=/usr/cplex125/cplex/include/ilcplex' '--with-gurobi' '--with-gurobi-lib=-L/usr/gurobi560/linux64/lib -lgurobi_c++ -lgurobi56' '--with-gurobi-incdir=/usr/gurobi560/linux64/include' '--with-mosek' '--with-mosek-lib=-L/usr/mosek/7/tools/platform/linux64x86/bin -Wl -lmosek64 -liomp5 -lmosekglb64 -lmosekscopt7_0 -lmosekxx7_0' '--with-mosek-incdir=/usr/mosek/7/tools/platform/linux64x86/h' '--enable-static' '-C' --cache-file=../config.cache --srcdir=.
>> configure:23040: error: /bin/bash './configure' failed for Osi


Anyway:

> I'm using "-lmosek64 -liomp5 -lpthread" to link against Mosek, probably you were missing the -lpthread.

That worked! Well, at the beginning I tried it with "-Wl" in addition and it failed. Not sure if that was the issue or I did not clean the config.cache properly, but after having done that, i.e.,

rm config.cache

--with-mosek-lib="-L<blah blah> -lmosek64 -liomp5 -lpthread"

then configure works, all of FlopC++ (comprised OsiMsk) compiles and passes the tests.

Thanks a lot, Stefan.

	Antonio

-------------------------------------------------
Youth is friendship, love, and mobil suits [MSGA]