Note that cabal and 'ghc' are required.
cabal
process-mining
cabal build
process-mining/dist/build/pgminer