Directory Src3.4 contains a modified version of Spin's source that generate pan files for HSF-SPIN. Cd into this directory and compile the source as you would do with Spin. A README file contains more details.
