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