Re: [Bug-glpk] static build workaround for 4.30

2008-08-14 Thread glpk xypron
Hello Robbie, the default installation path for the configure script is /usr/local (as ./configure --help reveals). My Debian installation expects libraries to be placed in /usr/lib and not in /usr/local/lib. To overcome the problem, you might run the configure script with --prefix /usr or cre

Re: [Bug-glpk] static build workaround for 4.30

2008-08-14 Thread Andrew Makhorin
Hi Robbie, > I had some trouble achieving a static build for GLPK > 4.30. However, I did succeed after installing two key > files by hand instead of using "sudo make install". > This posting describes the problem and my workaround. > I started with one of these two presumably equivalent > config

[Bug-glpk] static build workaround for 4.30

2008-08-14 Thread Robbie Morrison
Hello GLPK API users, Andrew I had some trouble achieving a static build for GLPK 4.30. However, I did succeed after installing two key files by hand instead of using "sudo make install". This posting describes the problem and my workaround. I started with one of these two presumably equivalent