16 Mar
2023
16 Mar
'23
3:36 p.m.
Hi Estibaliz,
"Fraca Santamaria, Estibaliz" <e.fraca(a)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.