Sujet : Re: comment enregistrer les commandes de compilation? (C++, GCC récent) du moteur RefPerSys
De : basile (at) *nospam* starynkevitch.net (Basile STARYNKEVITCH)
Groupes : linux.debian.user.frenchDate : 08. Aug 2026, 19:00:01
Autres entêtes
Organisation : linux.* mail to news gateway
Message-ID : <NpTuV-9JAo-1@gated-at.bofh.it>
References : 1 2 3
User-Agent : Evolution 3.56.2-10
On Sat, 2026-08-08 at 17:47 +0000, Claire Ivanenka wrote:
Kikou :)
Le 8 août 2026 17:20:37 UTC, Basile STARYNKEVITCH
<basile@starynkevitch.net> 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.ccou
https://github.com/bstarynk/misc-basile/blob/master/logged-compile.ccmais 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 <basile@starynkevitch.net>8 rue de la Faïencerie http://starynkevitch.net/Basile/ 92340 Bourg-la-Reine
https://github.com/bstarynkFrance
https://github.com/RefPerSys/RefPerSys https://orcid.org/0000-0003-0908-5250
| Date | Sujet | # | | Auteur |
| 8 Aug 26 |  comment enregistrer les commandes de compilation? (C++, GCC récent) du moteur RefPerSys | 15 | | Basile STARYNKEVITCH |
| 8 Aug 26 |   Re: comment enregistrer les commandes de compilation? (C++, GCC récent) du moteur RefPerSys | 1 | | Basile STARYNKEVITCH |
| 9 Aug 26 | Re: comment enregistrer les commandes de compilation? (C++, GCC récent) du moteur RefPerSys | 7 | | Sébastien Dinot |
| 9 Aug 26 |  Re: comment enregistrer les commandes de compilation? (C++, GCC récent) du moteur RefPerSys | 1 | | Basile STARYNKEVITCH |
| 9 Aug 26 | Re: comment enregistrer les commandes de compilation? (C++, GCC récent) du moteur RefPerSys | 2 | | Basile STARYNKEVITCH |
| 9 Aug 26 |  Re: comment enregistrer les commandes de compilation? (C++, GCC récent) du moteur RefPerSys | 1 | | Sébastien Dinot |
| 9 Aug 26 | Re: comment enregistrer les commandes de compilation? (C++, GCC récent) du moteur RefPerSys | 1 | | Sébastien Dinot |
| 10 Aug 26 | Re: comment enregistrer les commandes de compilation? (C++, GCC récent) du moteur RefPerSys | 2 | | Michel Verdier |
| 10 Aug 26 |  Re: comment enregistrer les commandes de compilation? (C++, GCC récent) du moteur RefPerSys | 1 | | Sébastien Dinot |
| 16 Aug00:00 | Re: comment enregistrer les commandes de compilation? (C++, GCC récent) du moteur RefPerSys | 6 | | Claire Ivanenka |
| 16 Aug06:00 | Re: comment enregistrer les commandes de compilation? (C++, GCC récent) du moteur RefPerSys | 5 | | Michel Verdier |
| 16 Aug11:50 | Re: comment enregistrer les commandes de compilation? (C++, GCC récent) du moteur RefPerSys | 3 | | NoSpam |
| 16 Aug13:20 | Re: comment enregistrer les commandes de compilation? (C++, GCC récent) du moteur RefPerSys | 1 | | NoSpam |
| 16 Aug14:30 | Re: comment enregistrer les commandes de compilation? (C++, GCC récent) du moteur RefPerSys | 1 | | Michel Verdier |
| 16 Aug15:10 | Re: comment enregistrer les commandes de compilation? (C++, GCC récent) du moteur RefPerSys | 1 | | Jean-Christophe |
Haut de la page
Les messages affichés proviennent d'usenet.
NewsPortal