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 [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
