[Spot] Re: Regarding Spot2.9 installation

Harsh Bihany harshbi@cse.iitk.ac.in writes:

Greetings, I was trying to install Spot2.9, and was `make`ing it. It however throws the following error:

[...]

The requirements do not mention a local TeX installation. Is there a way to bypass this? Thanks.

Hi Harsh,

You should not need LaTeX to build Spot from its tarball, unless the timestamps of the source files were modified somehow. You do need LaTeX if you build from the Git repository.

In any case, running "touch doc/tl/tl.pdf" should prevent that file from being rebuilt.

I'd also advise using Spot 2.12 instead of 2.9.

Alexandre