Le besoin est beaucoup plus simple que ça.
Le programme en C (ou autre) est livré compilé pour les deux architectures possibles x86_64 et aarch64. C’est essentiellement du contrôle de flot autour de fonctions/commandes disponibles après installation (automatisée) via apt.
Le problème rencontré est que l’utilisateur ne veut aucune intervention extérieure et n’est pas compétent pour configurer parfaitement un hôte debian afin d’exécuter tout logiciel fourni. Je dois donc travailler à tâtons.
Typiquement, on commence par supprimer la référence au CDROM d’installation dans /etc/apt/sources.list . Etc.
La question est donc : quelle est la liste la plus complète possible des tâches à effectuer sur un hôte debian tout neuf pour qu’il puisse exécuter tout programme compilé (exploitant en l’occurrence libc : super classique, toujours installé, sauf erreur…).
PS : Je suis d’ailleurs étonné que l’installateur debian ne propose pas de prendre ces décisions pour parachever l’installation. Comment remonter ce besoin à l’équipe debian ? merci.
Le 18 mai 2023 à 08:04, Basile Starynkevitch <basile@starynkevitch.net> a écrit :
On 5/17/23 21:58, RogerT wrote:Ce n’est pas un peu démesuré ?
Je ne connais pas Ansible en pratique.
Peut-être est-ce très simple…
Il me semble qu’il s’agit juste de lister toutes les tâches que l’on fait tous quand on crée un hôte de zéro.
C’est tellement habituel qu’on ne sait plus exactement tout ce qu’on fait.
Il y a aussi ce système debian qui permet d’automatiser l’installation d’un hôte.
Ex : https://debian-handbook.info/browse/fr-FR/stable/sect.automated-installation.html
Le 17 mai 2023 à 13:52, Sébastien Dinot <sebastien.dinot@free.fr> a écrit :
Bonjour,
RogerT a écrit :
Existe-t-il un outil en CLI pour tester que l’hôte mis à disposition
par l’utilisateur est correctement configuré ?
De nos jours, j'aurais tendance à répondre « Ansible » :
https://www.ansible.com/
Si j'ai bien compris la question, c'est théoriquement impossible de manière statique. A cause du théorème de Rice:https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_Riceet en lien avec le problème de l'arrêt: https://fr.wikipedia.org/wiki/Probl%C3%A8me_de_l%27arr%C3%AAtEt en pratique, ça demeure souvent impossible parce qu'un (ou le) logiciel fourni (considéré) peut:embarquer un interprète comme Lua http://www.lua.org/ ou RefPerSys http://refpersys.org/ ou GNU guile https://www.gnu.org/software/guile/ ou Python https://python.org/ et https://docs.python.org/3/extending/index.htmlgénérer du code ou des scripts (l'exemple classique c'est GNU emacs ou PostGreSQL) qui dépendent des données futures de ce logiciel en utilisant https://gcc.gnu.org/onlinedocs/jit/ ou https://asmjit.com/utiliser et charger des greffons fourni par l'utilisateur (et qui peuvent manquer à l'installation), (voir par exemple https://arxiv.org/pdf/1109.0779.pdf et https://gcc.gnu.org/onlinedocs/gccint/Plugins.html ...) - ce que savent faire GNU emacs, firefox, geany, des variantes de vim, etc...générer à l'exécution, en fonction des données, du code temporaire (qui aurait besoin d'autres logiciels installés) dans un greffon chargé par https://man7.org/linux/man-pages/man3/dlopen.3.htmlgénérer à l'exécution, en fonction des données, du code machine utilisant d'autres logiciels. Les exemples connus sont http://sbcl.org/ ou le logiciel CAIA de Jacques Pitrat (voir https://fr.wikipedia.org/wiki/Jacques_Pitrat ou le code C -autogénéré- en https://github.com/bstarynk/caia-pitrat ; Jacques Pitrat a écrit plusieurs livres expliquant cette approche, disponibles à la bibliothèque MIR de l'université Paris 6 Jussieu. Voir aussi les exposés en https://afia.asso.fr/journee-hommage-j-pitrat/Il me semble donc qu'il faut restreindre la question posée, et dans le cas particulier où le logiciel fourni est codé en C, envisager (c'est complexe et demande des efforts et du temps) d'en analyser le code source avec l'outil Frama-C disponible en https://frama-c.com/C'est l'une des raisons pour laquelle le packaging Debian demeure un art difficile.Librement-- Basile Starynkevitch <basile@starynkevitch.net>(only mine opinions / les opinions sont miennes uniquement)92340 Bourg-la-Reine, Franceweb page: starynkevitch.net/Basile/
|