Hi Dima,
My ./configure tells me I have additional packages to install, but
installing them seems not to change anything. e.g. the output from
./configure:
*configure:notice: the following SPKGs did not find equivalent system
packages:appdirs distlib filelock...*
so I apt-get ins
avoid building gcc. You don't need it. Read advice on packages printed by
./configure at the end of run, and follow it.
I'd give you more details over a teams or google meet call.
(Bruno is one of our 3rd year students I advise this year).
Dima
On Fri, 4 Nov 2022, 18:29 'bruno edwards' via sage-
