1. Extract the Unfolding Tools source code: $ tar xzf punf.tar.gz
2. Navigate to the extracted folder: $ cd punf
3. Use OSX flags: $cp flags_osx flags; The changes are as follows:
   • the flag -static is replaced with -static-libstdc++ -static-libgcc in CFLAGS
   • the flags -Wl,–whole-archive and -Wl,–no-whole-archive are removed from CXXFLAGS
4. Run make cleanall and remove all static libraries (*.a files)
5. Run make – the relevant tool binaries will be in directories of the same names

Note: When the tools are collected in one directory, for Workcraft for example, mpsat-mci will not work, as it is not compiled for OS X. To get around this, create a symlink: ln -s mpsat mpsat-mci.