This is the QSpin version for Concurrent programming 2017
Installation on windows:
- Install spin on your pc from: http://spinroot.com/spin/whatispin.html
- Install any c compiler (Spin expects gcc to be in your path variable)
- Download the zip and extract anywhere.
- In Qspin, go to Settings -> Configure QSpin. Path to your Spin.exe and c compiler. you can also just write "gcc" to use the one in your path environment.
Installation on Linux:
There is currently no package for Linux, and you will have to compile it from source.
- Install 'boost' and 'qt5' on your distro
- Download the source code
- From a terminal, cd to the root of the source code folder
- Run 'qmake' (Without quotes)
- Run 'make install' (Without quotes) as root
Isntallation on Mac
There is no package for mac, and you will have to compile from source. Building on Mac have not been tested, however it should be similar to the procedure on Linux, using homebrew to install qt5, qmake and boost.