Installation

twelfppr uses Cabal for build management, so you should be able to compile and install it with a simple command:

cabal install

(Ignore the Makefile)

This should pull down the (few) dependencies and install the twelfppr binary in ~/.cabal/bin.

Now try running it on some signature:

~/.cabal/bin/twelfppr -t ~/twelf/bin/twelf-server sources.cfg

Note that the signature defined by sources.cfg should be loadable by Twelf without error, or twelfppr will fail with a cryptic error message.