ibex-team / ibex-lib

IBEX is a C++ library for constraint processing over real numbers.
http://ibex-team.github.io/ibex-lib/
GNU Lesser General Public License v3.0
69 stars 51 forks source link

Ibex not working on Windows 10 for Choco-solver #433

Closed schmittjoaopedro closed 4 years ago

schmittjoaopedro commented 4 years ago

Hello,

I'm trying to install Ibex to deal with real variables in choco-solver. The computer environment is a Windows 10, Choco-solver 4.10.2, and JDK 8 32bits. I followed the instructions presented in the following links:

The directories are the following:

I already opened this question on choco-solver project. The installation steps details are available in the following link: ISSUE-652. Choco-team indicated that this problem appears to be from ibex itself.

What I'm missing to make ibex work with Java on Windows?

schmittjoaopedro commented 4 years ago

I found why Ibex was not generating the ibex-java.dll. That was not clear to me at that time because the documentation available in Ibex Choco does not indicate to run `./waf install' after the configure command. Now I can generate the dll executing the following commands:

~/Ibex/ibex-2.8.0/$ export JAVA_HOME=/c/java/jdk_1.8_231_x86

~/Ibex/ibex-2.8.0/$ ./waf configure --prefix=/c/MinGW/msys/1.0/home/jschmitt/Ibex/ibex-2.8.0 --enable-shared --with-jni --java-package-name=org.chocosolver.solver.constraints.real

~/Ibex/ibex-2.8.0/$ export PATH=$PATH:/c/MinGW/msys/1.0/home/jschmitt/Ibex/ibex-2.8.0/lib

~/Ibex/ibex-2.8.0/$ ./waf install

Now, when I run the Java program with the vm argument -Djava.library.path=C:\MinGW\msys\1.0\home\jschmitt\Ibex\ibex-2.8.0\lib the program can find the ibex-java.dll.