Spinroot

A forum for Spin users

You are not logged in.

#1 2011-10-17 08:38:41

ameged
Member
Registered: 2011-10-17
Posts: 4

difficulties in installink SPIN/iSPIN

I got a lot of difficulties trying to install SPIN/iSPIN.
Why there is not a simple installation kit that running it once makes all necessary installations ?
Why it is so compliacated and therefore error prone ?
Or, maybe there is a way to have one-click installation that I'm not familiar with ?
I'm interested in PC/Windows installation.
Can someone help ?

Offline

#2 2011-10-17 14:54:49

spinroot
forum
Registered: 2010-11-18
Posts: 691
Website

Re: difficulties in installink SPIN/iSPIN

What have you tried, and how did it fail?

Offline

#3 2011-10-17 15:34:33

ameged
Member
Registered: 2011-10-17
Posts: 4

Re: difficulties in installink SPIN/iSPIN

I want to do basic software verification actiivities, on my PC/Windows, using graphical tool (iSPIN ?).
I tried the download binaries according to the directions written in SPIN site. I failed in the tcl step.
Since there are few software binaries to download, which are described in different places in the site, the question is why there is no one-click download for all of them?
If it is impossible, then I'll appreciate getting list of download directions concentarted in one place.

Offline

#4 2011-10-17 15:49:53

spinroot
forum
Registered: 2010-11-18
Posts: 691
Website

Re: difficulties in installink SPIN/iSPIN

i'll be happy to help, but would need to know what really failed to work.
I assume that you have a cygwin setup with the gcc compiler working?
you will also need 'wish' with tcl/tk support, and the 'wish.exe' executable
from that installation has to be visible to you (i.e., when you type 'wish' at
the command prompt, the wish shell comes up)
so can you say more about what precisely isn't working?
do you have:
1. cygwin
2. gcc
3. tcl/tk
all working?

the problem with a 1-button installation is that these related tools can be very much larger than spin itself, and it would blow up an installation download by a huge amount (e.g., to include a gcc compiler and the active tcl/tk distribution)
so we've chosen to keep those things separate since most users will already have them anyway....
but it's true that it can be very annoying if something that you're not aware of is missing
please provide more info and we'll get you going

Offline

#5 2011-10-17 15:59:24

ameged
Member
Registered: 2011-10-17
Posts: 4

Re: difficulties in installink SPIN/iSPIN

Since there might be issues I missed in my former trial to download (It seems I got lost ...), I want to start everything from the beginning.
Please give me a list of software binaries I need to install and the URL for this.
I'll do the installation again - step by step.
Please remeber I want to start with elementary activites in SW verfication, so maybe I do not need all the features (I want to use iSPIN and to practice LTL).

Offline

#6 2011-10-17 16:38:11

spinroot
forum
Registered: 2010-11-18
Posts: 691
Website

Re: difficulties in installink SPIN/iSPIN

please follow the steps outlined at:
http://spinroot.com/spin/Man/README.html

Offline

Board footer

Powered by FluxBB