A debian package for Ibex: tracking progress #486

cyrilbouvier · 2020-12-14T13:20:33Z

cyrilbouvier
Dec 14, 2020
Maintainer

cyrilbouvier · 2020-12-14T13:28:18Z

cyrilbouvier
Dec 14, 2020
Maintainer Author

Pour Gaol, j'ai trouvé deux dépot Git:

https://gitlab.univ-nantes.fr/goualard-f/gaol : qui demande maintenant une authentification (mais qui était accessible avant)
https://github.com/goualard-f/GAOL

Sur le derniers répos Git, il y a des commits récents (moins d'un an) et le fichier configure.ac indique que la version actuelle est 4.2.3 (dont la principale caractéristique est de ne peux plus dépendre de la bibliothèque gdtoa). La version embarqué avec Ibex est 4.2.0, ce qui m'amène aux questions suivantes:

est-ce qu'on met à jour la version de Gaol distribuée avec Ibex ?
est-ce qu'Ibex doit être compatible avec cette nouvelle version ? seulement avec cette nouvelle version ? avec les deux ?

0 replies

gchabert · 2020-12-14T15:49:24Z

gchabert
Dec 14, 2020
Maintainer

Cyril,
Ça semble une bonne idée de mettre à jour la version Gaol distribuée, si cela permet de se débarrasser d'une dépendance.
Il faudrait juste voir si cela pose un souci de compil avec Ibex, mais je parie que non.
Pour info, on avait créé un fork de Gaol dans la team ibex : https://github.com/ibex-team/GAOL, ça serait le bon endroit pour faire tes futures modifs.
Si la nouvelle version de Gaol fonctionne, je serai d'avis par simplicité de ne rendre ibex compatible qu'avec celle-ci. Je ne vois pas d'intérêt à maintenir une rétrocompatibilité (je ne pense pas que la nouvelle version soit plus lente, je fais confiance à F. Goualard pour ça!)

0 replies

cyrilbouvier · 2020-12-15T16:39:28Z

cyrilbouvier
Dec 15, 2020
Maintainer Author

Après avoir regardé en détails, la dernière version de Gaol est 4.2.2 et inclut toujours gdtoa. La version courante sur le Git est 4.2.3 mais ne compile pas... Je vais soumettre des bug reports pour réparer cela.
Et quand ça sera fait et que la version 4.2.3 sera distribuée, on pourra mettre à jour la version de Gaol dans Ibex.

0 replies

gchabert · 2020-12-15T23:33:26Z

gchabert
Dec 15, 2020
Maintainer

Génial, j'espère que F. Goualard sera réactif.
Cyril, je viens de créer un espace Discussions dans ibex. Peut-être vaudrait-il mieux migrer cette page dans cet espace? Si tu es d'accord, je vois qu'il te suffit de cliquer sur "convert to discussion" sur le menu à droite, en bas.

0 replies

raphaelchenouard · 2020-12-17T11:52:13Z

raphaelchenouard
Dec 17, 2020
Collaborator

Je suppose que c'est en cours par rapport à gaol, mais actuellement je ne peux pas l'utiliser comme lib_interval pour compiler la branche develop:

CMake Error at build/interval_lib_wrapper/gaol/gaol-4.2.0/CMakeLists.txt:84 (message):
  The target system is not supported by Gaol


-- Configuring incomplete, errors occurred!
See also "/Users/raphaelchenouard/ibex-lib/build/CMakeFiles/CMakeOutput.log".
See also "/Users/raphaelchenouard/ibex-lib/build/CMakeFiles/CMakeError.log".

CMakeError.log

1 reply

cyrilbouvier Dec 17, 2020
Maintainer Author

tu as quoi comme machine ? Tu peux poster l'output complet de CMake (il affiche l'architecture de ta machine ça devrait aider à comprendre le problème). Est-ce que tu peux compiler Gaol 4.2.0 depuis les sources (https://frederic.goualard.net/#research-software)?

cyrilbouvier · 2020-12-17T12:57:13Z

cyrilbouvier
Dec 17, 2020
Maintainer Author

Est-ce que cela fonctionne avec le commit 00d2c7e (sur la branche develop) ?

0 replies

raphaelchenouard · 2020-12-17T13:00:31Z

raphaelchenouard
Dec 17, 2020
Collaborator

Voila pour l'output de cmake:

$ cmake .. -DCMAKE_INSTALL_PREFIX=/usr/local/Cellar/ibex/dev -DLP_LIB=clp -DINTERVAL_LIB=gaol
CMake Warning at CMakeLists.txt:4 (message):
  CMake support is in beta, please report all bugs to
  https://github.com/ibex-team/ibex-lib/issues/


-- Configuring Ibex 2.8.9.1
-- Running on system Darwin-19.6.0 with processor x86_64
-- Using CMake 3.19.1
-- C++ compiler: AppleClang 11.0.0.11000033
-- Will build static libraries
-- Library for interval arithmetic: gaol
-- Could NOT find Gaol (missing: GAOL_LIBRARY GDTOA_LIBRARY GAOL_INC_DIR)
-- Will install and use library gaol from 3rd/ subdirectory
-- Gaol: extracting gaol-4.2.0.tar.gz
-- Gaol: applying patch gaol-4.2.0.all.all.patch
-- Gaol: applying patch gaol-4.2.0.darwin.all.isfinite.patch
-- Gaol: copying CMakeLists.txt
-- Gaol: copying gaol/gaol_configuration.h.in
-- Gaol: copying test_sse.cpp
-- Gaol: configure
-- Running on system Darwin-19.6.0 with processor x86_64
CMake Error at build/interval_lib_wrapper/gaol/gaol-4.2.0/CMakeLists.txt:84 (message):
  The target system is not supported by Gaol


-- Configuring incomplete, errors occurred!
See also "/Users/raphaelchenouard/ibex-lib/build/CMakeFiles/CMakeOutput.log".
See also "/Users/raphaelchenouard/ibex-lib/build/CMakeFiles/CMakeError.log".

Je vais voir si j'ai le temps de tester aujourd'hui avec le commit que tu proposes.

1 reply

raphaelchenouard Dec 17, 2020
Collaborator

A priori j'ai la même erreur après le commit que tu mentionnes (Updating aa52f2d..00d2c7e):

-- Running on system Darwin-19.6.0 with processor x86_64
CMake Error at build/interval_lib_wrapper/gaol/gaol-4.2.0/CMakeLists.txt:84 (message):
  The target system is not supported by Gaol

cyrilbouvier · 2020-12-17T13:39:07Z

cyrilbouvier
Dec 17, 2020
Maintainer Author

Le commit b4316ff devrait régler le problème.
Je serais quand même curieux de savoir si tu peux compiler Gaol en utilisant les sources directement et non via Ibex. L'info peut être intéressante pour la doc.

3 replies

raphaelchenouard Dec 17, 2020
Collaborator

Le dernier commit permet bien de compiler.
La compilation depuis le dépot github (https://github.com/goualard-f/GAOL) renvoi effectivement la même erreur:

configure: error: Sorry, this system is not yet supported by gaol

cyrilbouvier Dec 18, 2020
Maintainer Author

Est-ce que tu peux mettre un lien vers le fichier config.log généré lorsque tu essayes de compiler les sources de Gaol et que tu obtiens cette erreur. J'essaie de comprendre ce qu'il se passe sur les Mac Intel 64bits pour pas faire n'importe quoi dans Ibex.

raphaelchenouard Dec 18, 2020
Collaborator

Le voici.
config.log

Jordan08 · 2020-12-17T14:37:22Z

Jordan08
Dec 17, 2020
Collaborator

Salut,
S'il existe une version sans gdtoa, ça peut être bien utile.
Car AMPL inclue également la librairie et ça créait un conflit
Du coup, j'étais obligé de forcer la compilation de AMPL avec l'option " -DNo_dtoa ".... ce qui a révélé un bug dans les codes de AMPL. Je l'ai corrigé sur le git de ampl mais il n'a jamais été pusher....

0 replies

cyrilbouvier · 2021-05-25T13:29:57Z

cyrilbouvier
May 25, 2021
Maintainer Author

Le bug report que j'avais ouvert pour trouver un sponsor pour le paquet mathlib (https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=977445) a été fermé automatiquement il y a deux semaines.
Je sais pas trop qu'elle est la marche à suivre maintenant. Je peux essayer de continuer à trouver un sponsor pour mathlib.
Ou peut être essayer de faire qu'un seul paquet ibex (qui contiendrait mathlib et Gaol), peut être que ça intéressera plus de monde et qu'on trouvera plus facilement un sponsor.

0 replies

cyrilbouvier · 2021-06-01T07:48:26Z

cyrilbouvier
Jun 1, 2021
Maintainer Author

Une question plus générale concernant la mise en paquet d'Ibex:
Si on intègre PyIbex par défaut dans Ibex et qu'Ibex devient installable facilement comme un module python et utilisable via Python, sera-t-il encore nécessaire de distribuer des paquets Ubuntu/Debian ?
Tous le code et la logique pour générer le module python est déjà dans PyIbex et rendre dispo un module python sur Pypi à l'air plus facile que de faire accepter un paquet Ubuntu/Debian (Pyibex est dispo sur Pypi: https://pypi.org/project/pyibex/ et donc installable via pip install)

S'il n'y a pas d'objections, je veux bien travailler avec les auteurs de PyIbex (Benoit ? Simon ?) pour essayer de l'intégrer à ibex-lib. La compilation serait optionnelle (avec une option du genre -DBUILD_PYTHON_MODULE=1) et n'aurait pas besoin d'être utilisée pour une utilisation classique d'Ibex.

Concernant les paquets pour Ubuntu/Debian, la PR ##512 permettrait de générer automatiquement les paquets. Il faut ensuite les distribuer via le site d'Ibex ou le GitHub d'Ibex (soit directement les .deb, soit via un dépot non officiel).
Cela peut être une alternative rapide en attendant de faire accepter Ibex dans les dépots officiels (si on y arrive un jour).

0 replies

SimonRohou · 2021-06-16T08:41:59Z

SimonRohou
Jun 16, 2021
Collaborator

Hello les Ibexeurs,

Depuis un an, les choses ont évolué de notre côté. pyIbex et Tubex fusionnent pour devenir Codac (Catalog of Domains and Contractors), qui propose(ra) différents "domaines" autres que des intervalles/boîtes, tels que les tubes (intervalles de trajectoires) de Tubex, les thicksets (intervalles d'ensembles) de pyIbex, le binding Python, et d'autres possibles implémentations (intervalles de graphes, de chemins, etc.). Ces domaines sont accompagnés de leurs contracteurs et d'un moteur de propagation adapté à ces éléments hétérogènes.

Codac vise un autre champ d'application qu'IBEX (pas d'optimisation, et évidemment orienté robotique, dont les problèmes impliquent souvent différents types de variables : trajectoires, ensembles, vecteurs, etc.) et une autre communauté d'utilisateurs (souvent très adeptes du Python). Donc toutes les applications de Codac sont orientées "robotique" et toute les fonctionnalités sont disponibles à la fois en Python et en C++. http://codac.io

La fusion de ces deux outils nous permet aussi de les faire évoluer relativement rapidement ensemble. Deux tutos ont été donnés dans le cadre des confs mondiales ICRA et IROS en 2020 (200 inscrits au total), et il a parfois fallu redéployer des modules pythons très rapidement et compatibles entre eux. D'où l'intérêt de cette fusion dans un même outil.

IBEX reste toujours un socle pour nos développements. Les contracteurs qu'on appelle "static" et applicables à des boîtes viennent toujours d'IBEX.

On reste très intéressé par cette idée d'avoir des paquets .deb d'IBEX sur les dépôts officiels, dans l'idée d'en fournir également pour Codac avec des dépendances propres. La mise à disposition de ces paquets est vraiment un gros plus pour la diffusion de ces outils ensemblistes. Et on est bien entendu preneur de toute aide sur ces questions là.

On rediscute si vous le souhaitez !

@benEnsta @cyrilbouvier @gchabert @lebarsfa @trombettoni

0 replies

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

A debian package for Ibex: tracking progress #486

{{title}}

{{editor}}'s edit

{{editor}}'s edit

Replies: 12 comments 5 replies

{{title}}

{{title}}

{{title}}

{{title}}

{{title}}

{{title}}

{{title}}

{{editor}}'s edit

{{editor}}'s edit

{{title}}

{{title}}

{{title}}

{{title}}

{{title}}

{{title}}

{{title}}

{{title}}

{{title}}

{{title}}

Select a reply

A debian package for Ibex: tracking progress #486

cyrilbouvier Dec 14, 2020 Maintainer

Replies: 12 comments · 5 replies

cyrilbouvier Dec 14, 2020 Maintainer Author

gchabert Dec 14, 2020 Maintainer

cyrilbouvier Dec 15, 2020 Maintainer Author

gchabert Dec 15, 2020 Maintainer

raphaelchenouard Dec 17, 2020 Collaborator

cyrilbouvier Dec 17, 2020 Maintainer Author

cyrilbouvier Dec 17, 2020 Maintainer Author

raphaelchenouard Dec 17, 2020 Collaborator

raphaelchenouard Dec 17, 2020 Collaborator

cyrilbouvier Dec 17, 2020 Maintainer Author

raphaelchenouard Dec 17, 2020 Collaborator

cyrilbouvier Dec 18, 2020 Maintainer Author

raphaelchenouard Dec 18, 2020 Collaborator

Jordan08 Dec 17, 2020 Collaborator

cyrilbouvier May 25, 2021 Maintainer Author

cyrilbouvier Jun 1, 2021 Maintainer Author

SimonRohou Jun 16, 2021 Collaborator

cyrilbouvier
Dec 14, 2020
Maintainer

Replies: 12 comments 5 replies

cyrilbouvier
Dec 14, 2020
Maintainer Author

gchabert
Dec 14, 2020
Maintainer

cyrilbouvier
Dec 15, 2020
Maintainer Author

gchabert
Dec 15, 2020
Maintainer

raphaelchenouard
Dec 17, 2020
Collaborator

cyrilbouvier Dec 17, 2020
Maintainer Author

cyrilbouvier
Dec 17, 2020
Maintainer Author

raphaelchenouard
Dec 17, 2020
Collaborator

raphaelchenouard Dec 17, 2020
Collaborator

cyrilbouvier
Dec 17, 2020
Maintainer Author

raphaelchenouard Dec 17, 2020
Collaborator

cyrilbouvier Dec 18, 2020
Maintainer Author

raphaelchenouard Dec 18, 2020
Collaborator

Jordan08
Dec 17, 2020
Collaborator

cyrilbouvier
May 25, 2021
Maintainer Author

cyrilbouvier
Jun 1, 2021
Maintainer Author

SimonRohou
Jun 16, 2021
Collaborator