Install Spin and iSpin on Mac

install_spin.sh

#!/bin/bash

# Install Spin and iSpin on MacOS
# adapted from https://philenius.github.io/software%20quality/2020/04/09/installing-spin-on-ubuntu-19.html
# (requires developer tools to be installed; to install them, run `xcode-select --install`)

# Install in a new directory
INSTALL_DIR=Spin
mkdir $INSTALL_DIR
cd $INSTALL_DIR
curl -OL https://github.com/nimble-code/Spin/archive/version-6.5.2.tar.gz
tar xfz version-6.5.2.tar.gz
cd Spin-version-*/Src
make
sudo cp spin /usr/local/bin/

# Example: Check if Spin was installed
# spin -V

# Example: Running Spin
# spin $INSTALL_DIR/Spin-version-*/Examples/hello.pml

# Example: Running iSpin
# cd $INSTALL_DIR/Spin-version-*/optional_gui/
# ./ispin.tcl

This has helped me, thanks!

Thanks a lot!

Thank you It was helpful.

Thanks a lot!

ISpin crashes instantly for me. Apparently there is something wrong with the TCL implementation for mac.

Mine broke here too. To fix it, I had to do this:

Running ispin.tcl on macOS (Apple Silicon)

To run the ispin.tcl GUI for SPIN on macOS with Apple Silicon:

1. Install Tcl/Tk 8.x using Homebrew

brew install tcl-tk@8

2. Run ispin.tcl using the compatible wish binary

/opt/homebrew/opt/tcl-tk@8/bin/wish8.6 /path/to/ispin.tcl

Replace /path/to/ispin.tcl with the full path to your script.