search

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
67 stars 51 forks source link

ARM support for ibex-lib #517

Closed geokoodi closed 2 years ago

geokoodi commented 2 years ago

Hi,

Would it be possible to add support for the ARM processor? The mathlib 2.1.0 library does not support the ARM processor.

gk

lebarsfa commented 2 years ago

Hello,

A possible workaround could be to build ibex with filib, see options described on http://www.ibex-lib.org/doc/install.html#standard-install, e.g. I used something like :

git clone https://github.com/ibex-team/ibex-lib.git
cd ibex-lib
mkdir build
cd build
cmake -D CMAKE_CXX_FLAGS="-fPIC" -D CMAKE_C_FLAGS="-fPIC" -D INTERVAL_LIB=filib ..
cmake --build . 
cmake --build . --target install

See also #505.

geokoodi commented 2 years ago

Hi,

Thank you for your answer.

I also use ibex-java plugin for the Choco-solver, i.e. cmake -D CMAKE_CXX_FLAGS="-fPIC" -D CMAKE_C_FLAGS="-fPIC" -D INTERVAL_LIB=filib --enable-shared --with-jni --java-package-name=org.chocosolver.solver.constraints.real ..

Everything seems to be working properly, but the ibex-java cannot be found in /usr/local/lib

t. gk

ma 29. marrask. 2021 klo 15.52 lebarsfa @.***) kirjoitti:

Hello,

A possible workaround could be to build ibex with filib, see options described on http://www.ibex-lib.org/doc/install.html#standard-install, e.g. I used something like :

git clone https://github.com/ibex-team/ibex-lib.gitcd ibex-lib mkdir buildcd build cmake -D CMAKE_CXX_FLAGS="-fPIC" -D CMAKE_C_FLAGS="-fPIC" -D INTERVAL_LIB=filib .. cmake --build . cmake --build . --target install

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/ibex-team/ibex-lib/issues/517#issuecomment-981653779, or unsubscribe https://github.com/notifications/unsubscribe-auth/ACCUXN2RYDL5EJFAKPLDENDUOOATPANCNFSM5IPMDOVA . Triage notifications on the go with GitHub Mobile for iOS https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675 or Android https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub.

-- koodi

lebarsfa commented 2 years ago

I have never used ibex-java but maybe in that case cmake should not be used, instead probably try with waf with the option --interval-lib=filib, from http://www.ibex-lib.org/doc/install.html#ibex-install and http://www.ibex-lib.org/doc/java-install.html I guess it would be :

./waf configure --interval-lib=filib --enable-shared --with-jni --java-package-name=org.chocosolver.solver.constraints.real
sudo ./waf install
geokoodi commented 2 years ago

That works!

Using with choco-solver.jar: javac -cp .:./path/to/choco-solver.jar ChocoRealTest.java java -Djava.library.path=/usr/local/lib -cp .:./path/to/choco-solver.jar ChocoRealTest

Thank you

t. gk

ma 29. marrask. 2021 klo 19.58 lebarsfa @.***) kirjoitti:

I have never used ibex-java but maybe in that case cmake should not be used, instead probably try with waf with the option --interval-lib=filib, from http://www.ibex-lib.org/doc/install.html#ibex-install and http://www.ibex-lib.org/doc/java-install.html I guess it would be :

./waf configure --interval-lib=filib --enable-shared --with-jni --java-package-name=org.chocosolver.solver.constraints.real sudo ./waf install

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/ibex-team/ibex-lib/issues/517#issuecomment-981876533, or unsubscribe https://github.com/notifications/unsubscribe-auth/ACCUXN4XXYT2JW72DX3CP5TUOO5MPANCNFSM5IPMDOVA . Triage notifications on the go with GitHub Mobile for iOS https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675 or Android https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub.

-- koodi