Bonjour Basile, bonjour à tou⋅te⋅s,
Le 2026-08-08 19:20, Basile STARYNKEVITCH a écrit :J'aurais besoin d'idées pour enregister dans l'exécutable lui-meme
(facilement utilisable par le débogueur GDB) la longue liste des
arguments de compilations.
Je ne sais pas répondre à ta question, mais elle m'intrigue, car je
ne
comprends pas l'intérêt de la manœuvre. Ne serait-il pas plus
intéressant de viser un build reproductible ? « Reproductible » au
sens
où la compilation des mêmes sources avec les mêmes options et la même
version des outils sur deux PC différents à deux moments différents
produit le même binaire, à l'octet prêt :
https://reproducible-builds.org/
Merci je connaissais.
J'ai une option --version qui affiche le git id de chaque fichier C++
(et certains des fichiers C++ ont été générés par une exécution
antérieure du meme projet logiciel libre, par exemple en juillet 2026)..
La reproductibilité des builds améliore la sécurité (on peut être
certain que l'exécutable distribué est bien celui que l'on obtient en
récupérant les sources publiées, que cet exécutable n'a pas été
généré à
partir d'autres sources ou en injectant au passage une charge utile
exogène). Lorsque la compilation est reproductible, elle est de facto
pleinement documentée :
* par le code source et le commit de la version compilée ;
* les scripts de compilation associés.
Il ne reste plus qu'à enregistrer ces informations quelque part et à
les
signer cryptographiquement pour en garder une trace durable et
vérifiable.
A ma connaissance la compilation est pleinement reproductible et
notamment grace à Niklas Rosenkrantz en CC
https://github.com/montao/RefPerSys
Mon ambition à long terme est de générer un maximum de fichier C++ à
partir d'un formalisme de plus haut niveau (à définir et à faire
accepter, et j'ai besoin d'un coup de
main). https://arxiv.org/abs/1109.0779 donne des pistes. Le blog de
Jacques Pitrat est pertinent pour donner les idées de plus haut niveau..
http://bootstrappingartificialintelligence.fr/WordPress3/
n'essayez plus de contacter Pitrat, il est décédé
https://fr.wikipedia.org/wiki/Jacques_Pitrat
mais ses livres et papiers me semblent actuels.
https://afia.asso.fr/journee-hommage-j-pitrat/
L'idée directrice étant bien évidemment le bootstrap
https://fr.wikipedia.org/wiki/Bootstrap_(compilateur)
C'est une vieille idée, le PAF la mettait en oeuvre en 1961
https://fr.wikipedia.org/wiki/Programmation_automatique_des_formules
(je vous laisse deviner mon lien de sang avec l'auteur du PAF)
--
Pour faciliter la reproductibilité, on peut figer les environnements
de
compilation et d'exécution dans un ou plusieurs conteneurs.
Basile STARYNKEVITCH
<basile@starynkevitch.net>
8 rue de la Faïencerie
http://starynkevitch.net/Basile/
92340 Bourg-la-Reine
https://github.com/bstarynk
France
https://github.com/RefPerSys/RefPerSys
https://orcid.org/0000-0003-0908-5250
Les messages affichés proviennent d'usenet.