Re: comment enregistrer les commandes de compilation? (C++, GCC récent) du moteur RefPerSys

On Sat, 2026-08-08 at 17:47 +0000, Claire Ivanenka wrote:
> Kikou :)
> 
> Le 8 août 2026 17:20:37 UTC, Basile STARYNKEVITCH
> <[email protected]> a écrit :
> > Bonsoir la liste
> > 
> > (je code -avec quelques autres- un moteur d'inférences sous Linux
> > en
> > logiciel libre compilé avec un GCC récent GCC15 ou mieux;
> > refpersys.org
> > donne mes idées)
> > 
> > Le code C++ est sur une petite quarantaine de fichiers dont
> > certains
> > sont générés (y compris par le programme lui meme dans ses
> > exécutions
> > d'hier - par un make redump).
> 
> Qu'est que hier ? Qu'est-ce qu'un  make redump ?

Aujourd'hui c'est le 8 aout 2026, et hier c'était donc le vendredi 7
aout 2026.

make redump est la commande de GNU make (avec l'extension GNU guile)
que j'utilise comme test, et pour regénérer les fichiers (C++ ou JSON)
qui sont sur github.com/RefPerSys

> > 
> > 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.
> 

Pas forcément; j'utilise les options -M et autres de GCC pour make.

Le fichier généré Make-dependencies/__utilities_rps.mkdep commence donc
par 

   utilities_rps.o: utilities_rps.cc /usr/include/stdc-predef.h
refpersys.hh \
 /usr/include/c++/16/version /usr/include/c++/16/bits/version.h \

et une grosse centaine d'autres lignes (produites par GCC)

Peut-etre que quelque programmeur libriste sur la liste a une
extension, un greffon ou une variante libre de GNU make qui enregistre
ce genre d'options.

Peut-etre que je devrais retravailler sur le code 
https://github.com/bstarynk/misc-basile/blob/master/logged-gcc.cc
ou 
https://github.com/bstarynk/misc-basile/blob/master/logged-compile.cc

mais peut-etre qu'un lecteur de cette meme liste a un script Python ou
Bash qui le fait plus simplement!

> Vue que le code part de GCC est a donc besoin pour faire toutes les
> étapes du compilateur.
> D'où l'intérêt de générer un build a l'image du système Gentoo 

Ca je ne sais pas faire!


Merci quand meme
-- 

Basile STARYNKEVITCH                           
<[email protected]>
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