User Tools

Site Tools


devel:backend:unfolding

Building Unfolding tools

for OSX

  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-libgccin 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.