Le lun. 24 nov. 2025 à 18:40, Mark Thomas <[email protected]> a écrit : > > On 24/11/2025 11:12, Gilles Sadowski wrote: > > Le lun. 24 nov. 2025 à 11:26, Mark Thomas <[email protected]> a écrit : > >> > >> On 22/11/2025 13:15, Gilles Sadowski wrote: > >>> Le sam. 22 nov. 2025 à 14:09, sebb <[email protected]> a écrit : > >>>>>> [...] > >>>> What OS/hardware are you using? > >>> > >>> Debian GNU/Linux > >>> > >>> $ uname -a > >>> Linux eccen 5.10.0-32-amd64 #1 SMP Debian 5.10.223-1 (2024-08-10) > >>> x86_64 GNU/Linux > >> > >> One more thing to check. Is "autoreconf" installed? > > > > Yes, it is. > > > > $ autoreconf --version > > autoreconf (GNU Autoconf) 2.69 > > Copyright (C) 2012 Free Software Foundation, Inc. > > License GPLv3+/Autoconf: GNU GPL version 3 or later > > <http://gnu.org/licenses/gpl.html>, > > <http://gnu.org/licenses/exceptions.html> > > This is free software: you are free to change and redistribute it. > > There is NO WARRANTY, to the extent permitted by law. > > > > Written by David J. MacKenzie and Akim Demaille. > > Hmm. A little older than the version I am using but only a couple of > versions. > > Looking at the version info, this looks like Debian 11. Is that correct?
Yes. > I might try setting up a VM to see what is going on. Don't bother: I tried on another machine (running Debian 12); "configure" completed successfully, and so did "make". So I still don't what is going on the other machine (that could compile another software from source, also via a "configure" script). But I should probably upgrade the distribution anyways, and things will hopefully get fixed in the process... Thanks, Gilles --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
