Bonsoir la liste, Il s'agit du commit 95e16c32e246 de RefPerSys (cf ma signature plus bas et refpersys.org).
Son make (avec un GNU make 4.4.1 compatible avec GNU [lib]guile 3) n'est pas robuste: ça marche souvent mais pas toujours dès que je le lance avec make -j6 Toute heuristique constructive de déboguage de GNUmakefile est bienvenue (pour un make parallèle). Voir aussi https://lists.gnu.org/archive/html/help-make/2025-12/msg00000.html qui me semble être une approche (mais elle me prendrait du temps, vos suggestions sont appréciées) Je n'ai aucune idée concrète pour en déboguer le GNUmakefile.... Bien sûr je connais make --trace (et le make config fonctionne) RefPerSys est un projet moteur d'inférences (en C++ sous licence GPL/CeCILL). En théorie le sujet ("intelligence artificielle symbolique en logiciel libre") devrait être dans l'air du temps (en 2025 ou 2026). cf https://theses.fr/1990PA066799 Je le dévelope sur un ordinateur de bureau (AMD Ryzen Threadripper 2970WX) ou un ordinateur portable (Acer Nitro 5 core i7) NB1: c'est hors sujet mais je cherche à joindre un consortium ANR ou HorizonEurope pour soutenir RefPerSys; autrefois https://arxiv.org/abs/1109.0779 et mes contributions au compilateur GCC ont été soutenues/portées par de tel consortia. NB2: c'est aussi hors sujet mais je cherche des vacations d'enseignement de Linux (programmation) en région parisienne. (quelques heures par semaine comme chargé de TD, pas un temps plein; je l'ai déjà été et enseigne encore certains mercredis). -- Basile STARYNKEVITCH basile AT starynkevitch DOT 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
