Roger Bishop Jones <rbj <at> rbjones.com> writes:
> 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: *** [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
Did you get anywhere with getting this to install? I have had a request to
put this on our system here and I am getting the same error.
Proofpower mailing list