Example Defaultsolver


I am working on Windows 7. I have make the installation of Ibex as is stated in the documentation. In the "Compiling and running examples" section, in the "Using the makefile" subsection, it is asked to enter the following code:

~/Ibex/ibex-2.1.13/$ cd examples
~/Ibex/ibex-2.1.13/$ make defaultsolver

Two problems occured:
P1. soplex.h
"soplex.h" was called by "ibex_linearsolver.h" but the file has not been found.
So, I modified the code of "ibex_LinearSolver.h" in the following way:

#include "C:\msys\1.0\home\Julien\Ibex\soplex-1.7.2\src\soplex.h"

=> Is it the good solution? Is there a better solution?
P2. -lsoplex
While P1 was solved, another error message appears:

c:\mingw\bin/ld.exe: cannot find -lsoplex
collect2.exe: error: ld returned 1 exit status
make: *** [defaultsolver] Error 1

I do not know how to olve this problem.

Please, can you help me? Thank you in advance!

Hi Julien,

Do not modify the code.


You have compilation problems probably because pkg-config is not installed on MinGW.

Try the following sequence (under the console of MinGW).

export IBEX_PATH=C:/MinGW/msys/1.0/home/[USER]/Ibex/ibex-2.1.13

export SOPLEX_PATH=C:/MinGW/msys/1.0/home/[USER]/Ibex/soplex-1.7.2

export FILIB_PATH=C:/MinGW/msys/1.0/home/[USER]/Ibex/ibex-2.1.13

g++ -I$IBEX_PATH/include -I$IBEX_PATH/include/ibex -I$SOPLEX_PATH/src -L$SOPLEX_PATH/lib -L$IBEX_PATH/lib -o defaultsolver defaultsolver.cpp -libex -lsoplex -lprim

If it works, you can put this in a script or a makefile.
Hope it helps.