29 Aug
2023
29 Aug
'23
2:31 p.m.
Hello!
If you want to use spot via the python bindings in visual studio code on
windows
you need to set up a remote interpreter via ssh or a docker interpreter.
Using it via ssh interpreter I would suggest you use WSL instead of
a virtual machine as it is easier to setup I believe.
If you want to use spot as is I would suggest that you simply
install the provided package, i.e. not install it from source.
Cheers,
Philipp
Le 2023-08-29 11:29, Alexandre Duret-Lutz a écrit :
Ioana Huștiu <ioana.hustiu(a)academic.tuiasi.ro>
writes:
Well, I am trying to install the 2.11.6 version
(the latest that is
available on the website).
My computer has Windows, but I tried to install it on a virtual
machine with Debian 11. I have attached all the commands and their
outputs below.
I see that "make check" failed only the randltl.ipynb test,
but given than (1) all other Python tests passed, and (2)
what the error looks like, I believe that tests/python/randltl.ipynb
has been modified compared to was was in the tarball.
Probably you tried to open it, execute the first cell, and that
created an error message that was saved into the file.
A minor curiosity of mine: can the tool be used
by using Visual
Studio Code and python after installation?
No idea. I'm not familiar with Visual Studio or Windows.
______________________
Spot mailing list -- spot(a)lrde.epita.fr
https://lists.lrde.epita.fr/postorius/lists/spot.lrde.epita.fr//