⚠ 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.