To install Spin: download spin from the official website (http://spinroot.com) then do accordingly. Then install iSpin as well, as described in the web site.
Then to make spin working in any directory create set it to the PATH environment variable, as follow: create some directory like /usr/local/bin/spin/ copy the executable spin from the Src* directory to here, and open /etc/bash.bashrc and add to the env't variable as PATH=$PATH:/usr/local/bin/spin then save restart the terminal.
Also iSpin may not work, displaying the error " exec: 3: wish: not found ". In this case download and install tcl in this way: sudo apt-get install libtcltk-ruby , The n should work. Enjoy with Spin ....
ispin spin <file_name.pml>
Then to make spin working in any directory create set it to the PATH environment variable, as follow: create some directory like /usr/local/bin/spin/ copy the executable spin from the Src* directory to here, and open /etc/bash.bashrc and add to the env't variable as PATH=$PATH:/usr/local/bin/spin then save restart the terminal.
Also iSpin may not work, displaying the error " exec: 3: wish: not found ". In this case download and install tcl in this way: sudo apt-get install libtcltk-ruby , The n should work. Enjoy with Spin ....
ispin spin <file_name.pml>
No comments:
Post a Comment