User Tools

Site Tools


devel:backend:unfolding

Building Unfolding tools

for OSX

  1. Extract the Unfolding Tools source code.
  2. Navigate to the extracted folder in the terminal, punf.
  3. Modify punf/flags as follows:
    • Replace -static in CFLAGS with -static-libstdc++ -static-libgcc.
    • Remove -Wl,–whole-archive and -Wl,–no-whole-archive from CXXFLAGS (these are unsupported in OSX).
  4. In the terminal, in the punf directory, run make cleanall.
  5. Remove all static libraries (*.a files). These need to be rebuilt for compilation with OSX architecture.
  6. In the terminal, in the punf directory, run make.
  7. The relevant tools 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 (symbolic?) link: ln -s mpsat mpsat-mci.