On 24 Jul 2013, at 15:17, Michael Jones <michael.jo...@york.ac.uk> wrote:

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

You are using a very old version of Poly/ML and I am pretty sure that is the 
problem. In any case, the last few lines of the file imp001.err in the src 
directory will (as Roger Jones implies above) give us some more to go on.

Regards,

Rob.



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

Reply via email to