On 09/05/13 15:16, Piotr Trojanek wrote:
Dear ProofPower experts,
I triy to install the latest OpenProofPower under Ubuntu 12.04, but it
fails with the (somewhat cryptic) tail of build.log:
docsml -f hol.svf imp001
Compiling (code) imp001.sml
make[1]: *** [imp001.ldd] Error 1
My setup details: polyml, libpolyml1, libpolyml-dev from the standard
Ubuntu repository (5.2.1-1). GCC 4.7.3 (ppa:ubuntu-toolchain-r/test).
Any advice?
You need also to install groff, that might be your problem.
To get more info on the cause of the failure you should look
at the file imp001.err.
Roger Jones
_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
