Spinroot

A forum for Spin users

You are not logged in.

#1 2011-06-13 09:49:04

milon_mi7
Member
Registered: 2011-06-10
Posts: 13

how to install FeaVer/modex and spin in ubuntu or windows?

i am trying to extract a state machine from c code. I am following the manuals but having some problem. can anyone tell me how to install FeaVer/modex and spin in ubuntu or windows?

thanks in advance.

Offline

#2 2011-06-13 16:45:56

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

Re: how to install FeaVer/modex and spin in ubuntu or windows?

see: [url]http://spinroot.com/spin/Man/README.html#S1[/url]

Offline

#3 2011-06-14 02:48:59

milon_mi7
Member
Registered: 2011-06-10
Posts: 13

Re: how to install FeaVer/modex and spin in ubuntu or windows?

u gave the link for Spin. i have done exactly like this website. but after installing when i run spin -V it said it doesnot find the command spin.
I have seen in a document that FeaVer/modex have a GUI version. do u know anything about it?

Offline

#4 2011-06-14 03:53:15

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

Re: how to install FeaVer/modex and spin in ubuntu or windows?

let's first make sure spin works
where did you install it?
if you copied it to /usr/local/bin/spin it should definitely work for you

Offline

#5 2011-06-14 05:10:39

milon_mi7
Member
Registered: 2011-06-10
Posts: 13

Re: how to install FeaVer/modex and spin in ubuntu or windows?

i have install it in /usr/local/bin/spin
inside spin i have,
Doc, iSpin,Man,Samples,Src6.1.0,Test, directory....

when ever i try to run:
spin -V
it give the following mgs:

[email protected]:~$ spin -V
No command 'spin' found, did you mean:
Command 'spim' from package 'spim' (universe)
Command 'spine' from package 'cacti-spine' (universe)
spin: command not found

Offline

#6 2011-06-14 05:21:20

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

Re: how to install FeaVer/modex and spin in ubuntu or windows?

The only thing that should be installed in /usr/local/bin/ is the executable 'spin' command itself, not the entire distribution directory.
(i.e., you compile spin somewhere else and just copy 'spin' itself into this directory).
Please ask a system administrator for your system for help if this looks mysterious.

Offline

#7 2011-06-14 05:57:26

milon_mi7
Member
Registered: 2011-06-10
Posts: 13

Re: how to install FeaVer/modex and spin in ubuntu or windows?

finally i have done it.
spin is oki. modex is oki.now i have to go on...

thanks for ur help.
smile

Offline

#8 2011-06-14 06:30:45

milon_mi7
Member
Registered: 2011-06-10
Posts: 13

Re: how to install FeaVer/modex and spin in ubuntu or windows?

hello admin, i think u r the only one who can help me. actually i am trying to test a c code. so what ever i studied i am sharing with you.tell me am i right or wrong.i am not so clear what i have studied.
at first i am taking a C file.i want to extract a model using modex. for this i need 2 file. 1 is c file and another one is test harness(.prx) file.then i am extracting a model and then i use spin.
i have some question.
1.what should .prx will include?
2. the model generated from modex represent what?
3 what is the role of spin here?

i am following this link:

spinroot.com/spin/Workshops/ws05/modex_tutorial.pdf

if u have time pls see this.

Offline

#9 2011-06-15 01:37:50

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

Re: how to install FeaVer/modex and spin in ubuntu or windows?

In the Doc directory of the Feaver/Modex distribution you will find a very detailed manual that explains all the options and the contents of the .prx file
but again, i would warn agains attempting to use modex before you know how to use spin really well.  you're very unlikely to succeed if you take this route.
even for advanced and very experienced spin users, the use of modex can be challening....

Offline

#10 2011-06-15 02:30:54

milon_mi7
Member
Registered: 2011-06-10
Posts: 13

Re: how to install FeaVer/modex and spin in ubuntu or windows?

thanks for ur reply. I am working on spin.
another thing is, in some tutorial i have seen they use GUI for FeaVer/modex.but i didnot find it anywhere. is there any GUI for it? for example i have used a little iSpin with graphical user interface for promela code.

Offline

#11 2011-09-21 10:13:03

faisal2000
Member
Registered: 2010-11-29
Posts: 9

Re: how to install FeaVer/modex and spin in ubuntu or windows?

1). in installing of modex how to edit the makefile of it contained in Src folder. give any example. i m using cygwin in C: drive i.e c:\cygwin.
2).when i enter the command (make install) in installing of modex the following message appear.
bash:make command not found

Offline

#12 2011-09-21 23:40:23

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

Re: how to install FeaVer/modex and spin in ubuntu or windows?

re 1: you should not have to edit the makefile
re 2: it looks like you do not have the 'make' command installed -- you can download it from cygwin
also make sure that you have the complete gcc tool suite installed so that you can compile c programs

Offline

#13 2011-09-22 08:34:31

richard.m456
Member
From: Cebu Philippines
Registered: 2011-09-22
Posts: 1

Re: how to install FeaVer/modex and spin in ubuntu or windows?

I just want to share this;

To run iSpin you'll need Tcl/Tk. Tcl/Tk was written by John Ousterhout ([email protected]) and is public domain. It can be obtained (for PCs or Unix) from cygwin, or from: [url]http://www.tcl.tk[/url]/ or also (a more recent extension): [url]http://www.activestate.com/Products/ActiveTcl/[/url]
More details can be found in netnews-group: comp.lang.tcl

maybe this will also help you, new extensions added smile)

Offline

#14 2011-09-22 08:55:43

yamasaki6
Member
Registered: 2011-09-22
Posts: 1
Website

Re: how to install FeaVer/modex and spin in ubuntu or windows?

Thanks for the update, and it is particularly interesting and have a good lot.

Offline

#15 2011-10-04 08:29:13

aRogerson
Member
From: Sacramento
Registered: 2011-09-16
Posts: 1
Website

Re: how to install FeaVer/modex and spin in ubuntu or windows?

Thanks for this post... really help me in intalling Feaver in windows.

Offline

Board footer

Powered by FluxBB