ARM support for ibex-lib

[geokoodi]

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]

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]

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 <#517 (comment)>, 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]

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]

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 <#517 (comment)>, 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