Hi Alexandre,
Thank you for your detailed email.
I was able to install Spot in the end, with the help of a researcher colleague.
Thanks for your time and insterest.
Regards,
Estibaliz Fraca ________________________________ From: Alexandre Duret-Lutz adl@lrde.epita.fr Sent: 16 March 2023 14:36 To: Fraca Santamaria, Estibaliz e.fraca@ucl.ac.uk Cc: spot@lrde.epita.fr spot@lrde.epita.fr Subject: Re: [Spot] Test suite for spot installation
⚠ Caution: External sender
Hi Estibaliz,
"Fraca Santamaria, Estibaliz" e.fraca@ucl.ac.uk writes:
I'm trying to install spot in my machine.
What kind of machine would that be?
I run make check and I got two errors (Fail : 2).
I am just reporting it as it is asked. Please find test-suite.log attached.
Thank you for this.
One test case (core/ltlsynt2.test) is failing because you don't seem to have Python installed. This is a spurious failure we should fix and that you can ignore.
The second test case (core/ltlcross3.test) is failing for some reason I cannot immediately tell. Could you show me the contents of tests/core/ltlcross3.dir/stderr ?
The installation did fail. I would like to ask if you know why did it fail and what could I do to install it.
I assume that "installation" means running 'make install'. Please provide the output of that command so we can see the error message.
Best regards, Alexandre
PS: Spot 2.11.4 fixes some important issues present in 2.11.3.