Please follow the instructions at
https://trac.fact-project.org/wiki/InstallingFACT++