PDA

View Full Version : [ubuntu] how to install promela/spin on ubuntu



se_landy
September 12th, 2009, 08:26 PM
I need to install tool called spin (for verification of parallel algorithms).

here is the README file (http://spinroot.com/spin/Man/README.html)

I never compiled anything on Ubuntu so I have no idea how install that. I've been trying for about half an hour now, but still no success...
I follow directions from that file, unzipp it, do the "tar -xf" command, change directory to src, but when I try "make" command there is an error...

Help please :D

Partyboi2
September 13th, 2009, 02:46 AM
Hi, make sure you have installed the build-essential package first.

sudo apt-get install build-essential
Then run make again, if there are any errors post back what the errors are.

jvveiga
November 17th, 2010, 10:32 PM
you need the bison package and the libc6-dev

http://spinroot.com/spin/Bin/index.html --> precompiled executables