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[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
> 


Hi there,

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.

Thanks

Michael Jones



_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to