A forum for Spin users
You are not logged in.
Pages: 1
Dear gozonetoo,
That's done. Now the spin is running correctly and the examples are executed as well. I have edited, modified and rebuild the makefile as described by you and all is going well now. I am very happy and thankful to you for such a great response and continuos support in this regard.
A little query I had in my mind that the ispin version installed by me is old one (came along with the Spin distribution) but I came to know from the forum that a new version has been released for ispin that is most suitable for laptops. As the current ispin is very messy in interface that is alot of windows are messed up on the screen and it is difficult to read the output during simulation phase.
Sorry for this long illustration, but just wanted to ask that how can I uninstall the current ispin from mac terminal and install the new one? I made an effort by removing the "ispin.tcl" file from the spin directory but it is still running when i use "ispin" command in terminal.
Apologies for any inconveniences caused and Thank you very much once again.
Imran
Aplogies for interuppting again!
Actually I followed the procedure 1 as described by you, but still the same error is displayed. i.e
spin: preprocessing failed
sh: /lib/cpp: No such file or directory
can you tell me the second way...Please
Thanks
The result of type cpp is :
"cpp is /usr/bin/cpp"
Dear gozonetoo,
its unbelievable for me! Great its working now. I am so much happy that I cann't explain it to you, really. Thank you very very much. I have copied the spin to (/usr/local/bin) and executed it in terminal, I got the response (Spin Version 6.0.1 -- 16 December 2010). The type spin command prompted me with (spin is hashed (/Developer/usr/local/bin/spin)). That's great.
I have installed the ispin as well and it is working well but when I try to open a sample promela program (leader.pml) saved in the Tests directory inside the Spin folder in local, then on syntex check command it generates the error:
3 syntax check
spin: preprocessing failed
sh: /lib/cpp: No such file or directory
can you tell me, why this error is happening , please don't mind that, I am asking another question!
Anyway I am really thankful to you and all others in this forum who helped me alot.
wishing you alot pf goodluck!
Regards
Imran
Dear gozonetoo,
Thank you very much for your support in this regard. I am not very much familier with the Terminal but just use it for some extent to run the mac properly. I am very happy with your comments and hope that in a while I will be able to run Spin on my mac. Actually the gcc, yacc, cpp files are in the location (/Developer/usr/bin) i.e bin directory contains all these files and I moved the spin exec to this directory as well. When I test for gcc and yacc these are show in the given path ie (gcc is /usr/bin/gcc) but the command to check for spin ($ type spin) prompts (-bash: type: spin: not found).
I want to tell you that there is another bin directory in the (/Developer/usr/local/bin) as well and i don't know whether this is the directory to put spin or not?
Anyway on executing the 'echo $PATH' commands my terminal shows the following:
Imrans-MacBook-Pro:~ imran$ echo $PATH
/Library/Frameworks/Python.framework/Versions/Current/bin:/Library/Frameworks/Python.framework/Versions/2.6/bin:/Library/Frameworks/Python.framework/Versions/2.6/bin:/Library/Frameworks/Python.framework/Versions/Current/bin:/Library/Frameworks/Python.framework/Versions/Current/bin:/Library/Frameworks/Python.framework/Versions/Current/bin:/Library/Frameworks/Python.framework/Versions/2.6/bin:/usr/bin:/bin:/usr/sbin:/sbin:/usr/local/bin:/usr/X11/bin:/usr/local/bin:/usr/local/bin
Hope that you will depict the issue I am having at the moment and will provide me better suggestions to solve it.
Once again many thanks.
Imran
Thanks sir for correction, but I put back the spin directory to the home directoery and moved the "spin executable" to the bin, but still on command 'spin' in terminal it prompts "-bash: spin: command not found". I don't know why? I want to just run the spin successfully then you are right that i have to go through the tutorials, but at the moment, want spin to be installed on mac.
Thanks alot for such a great help. Hope that you will continue it.
Imran
Thanks for kind response. I have moved the spin directory to the bin according to the given command. But don't know how to start spin now or to run my first simple program to check that its working now. I am sorry for this foolish asking but i am completely new to spin. Hope that you will not mind. Please provide me a couple of instructions to open and test the spin now. I checked the command "$ spin -V" in terminal but it prompts invalid command. Please push me forward as i think that I am just near to my destination to run spin on my mac.
Thanks once again.
Imran
Dears,
Apologies for interrupting once again. Actually I am really struggling to install the Spin on my mac and still couldn't get it. I have installed the latest versions of developers tools and the problem of make file is solved now, but when I run it , the following trail is prompted by the Terminal:
Imrans-MacBook-Pro:Src6.0.1 imran$ make
yacc -v -d spin.y
gcc -c y?tab.c
rm -f y?tab.c
mv y?tab.o spin.o
gcc -O2 -ansi -DNXT -D_POSIX_SOURCE -Wno-format-security -c -o spinlex.o spinlex.c
gcc -O2 -ansi -DNXT -D_POSIX_SOURCE -Wno-format-security -c -o sym.o sym.c
gcc -O2 -ansi -DNXT -D_POSIX_SOURCE -Wno-format-security -c -o vars.o vars.c
gcc -O2 -ansi -DNXT -D_POSIX_SOURCE -Wno-format-security -c -o main.o main.c
gcc -O2 -ansi -DNXT -D_POSIX_SOURCE -Wno-format-security -c -o ps_msc.o ps_msc.c
gcc -O2 -ansi -DNXT -D_POSIX_SOURCE -Wno-format-security -c -o mesg.o mesg.c
gcc -O2 -ansi -DNXT -D_POSIX_SOURCE -Wno-format-security -c -o flow.o flow.c
gcc -O2 -ansi -DNXT -D_POSIX_SOURCE -Wno-format-security -c -o sched.o sched.c
gcc -O2 -ansi -DNXT -D_POSIX_SOURCE -Wno-format-security -c -o run.o run.c
gcc -O2 -ansi -DNXT -D_POSIX_SOURCE -Wno-format-security -c -o pangen1.o pangen1.c
gcc -O2 -ansi -DNXT -D_POSIX_SOURCE -Wno-format-security -c -o pangen2.o pangen2.c
gcc -O2 -ansi -DNXT -D_POSIX_SOURCE -Wno-format-security -c -o pangen3.o pangen3.c
gcc -O2 -ansi -DNXT -D_POSIX_SOURCE -Wno-format-security -c -o pangen4.o pangen4.c
gcc -O2 -ansi -DNXT -D_POSIX_SOURCE -Wno-format-security -c -o pangen5.o pangen5.c
gcc -O2 -ansi -DNXT -D_POSIX_SOURCE -Wno-format-security -c -o guided.o guided.c
gcc -O2 -ansi -DNXT -D_POSIX_SOURCE -Wno-format-security -c -o dstep.o dstep.c
gcc -O2 -ansi -DNXT -D_POSIX_SOURCE -Wno-format-security -c -o structs.o structs.c
gcc -O2 -ansi -DNXT -D_POSIX_SOURCE -Wno-format-security -c -o pc_zpp.o pc_zpp.c
gcc -O2 -ansi -DNXT -D_POSIX_SOURCE -Wno-format-security -c -o pangen6.o pangen6.c
gcc -O2 -ansi -DNXT -D_POSIX_SOURCE -Wno-format-security -c -o pangen7.o pangen7.c
gcc -O2 -ansi -DNXT -D_POSIX_SOURCE -Wno-format-security -c -o reprosrc.o reprosrc.c
gcc -O2 -ansi -DNXT -D_POSIX_SOURCE -Wno-format-security -c -o tl_parse.o tl_parse.c
gcc -O2 -ansi -DNXT -D_POSIX_SOURCE -Wno-format-security -c -o tl_lex.o tl_lex.c
gcc -O2 -ansi -DNXT -D_POSIX_SOURCE -Wno-format-security -c -o tl_main.o tl_main.c
gcc -O2 -ansi -DNXT -D_POSIX_SOURCE -Wno-format-security -c -o tl_trans.o tl_trans.c
gcc -O2 -ansi -DNXT -D_POSIX_SOURCE -Wno-format-security -c -o tl_buchi.o tl_buchi.c
gcc -O2 -ansi -DNXT -D_POSIX_SOURCE -Wno-format-security -c -o tl_mem.o tl_mem.c
gcc -O2 -ansi -DNXT -D_POSIX_SOURCE -Wno-format-security -c -o tl_rewrt.o tl_rewrt.c
gcc -O2 -ansi -DNXT -D_POSIX_SOURCE -Wno-format-security -c -o tl_cache.o tl_cache.c
gcc -O2 -ansi -DNXT -D_POSIX_SOURCE -Wno-format-security -o spin spin.o spinlex.o sym.o vars.o main.o ps_msc.o mesg.o flow.o sched.o run.o pangen1.o pangen2.o pangen3.o pangen4.o pangen5.o guided.o dstep.o structs.o pc_zpp.o pangen6.o pangen7.o reprosrc.o tl_parse.o tl_lex.o tl_main.o tl_trans.o tl_buchi.o tl_mem.o tl_rewrt.o tl_cache.o
Imrans-MacBook-Pro:Src6.0.1 imran$
I don't know what's going there, but when I check for Spin from terminal whether it has been installed or not, it prompts me nothing. I don't know how to properly install it and check it whether it has been installed or not?
Another thing is that when I try to install Spin again from the same directory the terminal prompts me the following line on running the make command:
"make: `spin' is up to date."
Kindly help me to solve this problem by providing me a stepwise guidance to get installed Spin on my mac and to start my work with it. I am really struggling and looking for you supportive response.
Looking for your kind response,
Imran
Dear jlb, Thanks for posting, but when I run the commmands
cd Downloads/Spin/Src6.0.1
make
Then Terminal prompts me the following error:
"-bash: make: command not found"
I am not sure why, although I have installed the xcode and other compilers such as yacc, gcc and makefile in the following location:
/Developer/usr/bin
Can you please tell me the path or location of your cpp, yacc and make file?
regards
Dear Theo and spinroot, thanks for your kind response. Actually I have xcode installed on my system and all the commands make, yacc and gcc are there as well. Can you please tell me the procedure how to use/set them to install the Spin on mac?
Hope that you will provide me a positive response.
Apologies for any inconveniences caused.
Thanks
Imran
Hello Dears,
I am trying to install Spin on my Macbook since last week and not getting it installed yet. I am really frustrated and want your help. I am bit new to Spin and want to use it learn its basic modeling. Please provide me a stepwise manual / procedure to install the Spin on macbook. I am following the instructions provided on the Spin read me page "[url]http://spinroot.com/spin/Man/README.html#S2[/url]" but it doesn't work at all. after extracting the distribution file when i try for the make command it doesn't work and responds as "No such (make) file found". I have gone through the google and searched about it but couldn't found and suitable solution. Please any of you is using the Spin on his mac, provide me help to install it on my one as well.
I am eagerly waiting for the response and kind help in this regard.
Thanks
Imran
Pages: 1