Bonjour la liste, J'utilise (Debian/Trixie/x86-64) la commande de configuration indiquée dans https://gcc.gnu.org/pipermail/gcc-help/2026-May/145029.html
mais elle ne fonctionne pas (libgccjit.so n'est pas installé par make install). Où est mon erreur? Librement -- 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
