[Osi] configuring osi for Xpress on Linux x64

[Matthew Saltzman]

I can confirm that the OsiXpr interface is pretty old now.  If anyone
with access to an Xpress license wants to take a crack at bringing it up
to date, I'd welcome the patches.

On Tue, 2009-09-08 at 16:22 +0200, Stefan Vigerske wrote:
> Hi,
> 
> I also do not have the XPRSsetintcontrol symbol in my xpress libs,
> probably this is for a very old xpress version.
> But it works fine for me if I configure with --disable-xpress-libcheck.
> 
> Stefan
> 
> Michal Kaut schrieb:
> > Hello,
> > 
> > can someone help me to configure Osi for use with Xpress on Linux x64,
> > please? The configure script stops with the following message:
> > checking if user provides library for Xpress... yes
> > checking whether symbol XPRSsetintcontrol is available with XPR... no
> > configure: error: Cannot find symbol(s) XPRSsetintcontrol with XPR
> > configure: error: /bin/bash '../../Osi/configure' failed for Osi
> > 
> > I have added the following to <build-folder>/share/config.site:
> > with_xpress_incdir='/home/michal/xpress/xpress2008a/include'
> > with_xpress_lib='-L/home/michal/xpress/xpress2008a/lib -lxprs'
> > 
> > The Xpress-MP in /home/michal/xpress/xpress2008a/ is a x64 Linux
> > version. It works on CentOS and I tried or Xubuntu, but that should not
> > matter, should it?
> > /home/michal/xpress/xpress2008a/include includes (among others) xprs.h.
> > /home/michal/xpress/xpress2008a/lib includes libxprs.so (a link to
> > libxprs.so.19.00.00. There are no static libraries there.
> > 
> > 
> > Thanks in advance
> > 
> > Regards,
> > Michal
> > 
> > _______________________________________________
> > Osi mailing list
> > Osi at list.coin-or.org
> > http://list.coin-or.org/mailman/listinfo/osi
> > 
> 
> _______________________________________________
> Osi mailing list
> Osi at list.coin-or.org
> http://list.coin-or.org/mailman/listinfo/osi
-- 
                Matthew Saltzman

Clemson University Math Sciences
mjs AT clemson DOT edu
http://www.math.clemson.edu/~mjs