You are reading the README for the win.tue.nl distribution of SPIN/Xspin.
The SPIN process model analysis tool consists of a command line tool called spin and a graphical user interface for it, called Xspin, written in the Tcl programming language.
At win.tue.nl, all I do is take the binary distribution already available from SPIN's own website as a couple of ZIP files, wrap a setup.exe around it (generated by this Inno Setup script) to ease (de)installation, and modify the Xspin script so it will work right away.
The two simple steps outlined on the main page should produce a flawlessly working SPIN/Xspin installation, but a couple of problems with our setup remain:
Xspin.tcl from its real installed location should also
work.C:\Program Files\Spin or C:\Spin-4.1.2
will not work, and the resulting error message
will probably be very confusing to you;
but the setup.exe doesn't actively prevent you from choosing
such names.SPIN's original README file contains some Unix specific instructions on how to start Xspin; you can ignore these on Microsoft Windows.
Xspin requires the presence of a working Tcl/Tk interpreter; the setup.exe tries to find one, but allows you to continue if it can't. The only Tcl/Tk distribution verified to work with our setup is ActiveTcl.
A working SPIN installation, successfully verifying the distributed leader example:
If you use this SPIN/Xspin setup, please check the website for new developments and report any problems, suggestions, or improvements back to me. The author of SPIN/Xspin would very much welcome a foolproof SPIN/Xspin setup procedure for MS Windows; perhaps we can give him one.
Thank you.