Compiling SPIN

To get the source from github:

git clone git://github.com/mikewoz/spinframework.git

Then do:

cd spinframework
./autogen.sh  # only needed once

Now your source tree is ready to be configured and built:

./configure
make 
sudo make install

Using Eclipse IDE

There is an eclipse project description in the root folder of SPIN, but first, you'll need to add the CDT plugin to Eclipse:

  1. In Eclipse, select the Help > Install New Software menu item
  2. Click the 'Add' button to add a repository site. For Galileo, add http://download.eclipse.org/tools/cdt/releases/galileo
  3. Then select 'CDT Main Features', click Next, accept the license, and restart Eclipse.

Once you have CDT, import the project:

  1. Select File > Import...
  2. Under General, select 'Existing Projects into Workspace'
  3. Browse for the root directory, and choose the top-level SPIN path