Note that instruction 4 for the ProofPower install instructions I just
posted is only for OCaml, and this will not feature in any general README
instructions.

Mark.

on 11/7/10 10:35 AM, m...@proof-technologies.com wrote:

> I'm preparing some revised instructions (attached) for installation of
> ProofPower and its supporting programs on Unix-like operating systems.
> These will get 'xpp' working properly on Ubuntu for you, Roger.
>
> The instructions are currently restricted to Linux variants and need more
> testing, but they are pretty reliable for Fedora and Ubuntu.  At the
moment
> the instructions for ProofPower itself are just for getting 'xpp' running,
> but will work for ProofPower in general by removing the PPTARGETS="xpp"
from
> the configure command.
>
> Please, anyone with any suggestions for improving the clarity or scope of
> this file please contact me.
>
> Mark.
>
> on 10/7/10 10:06 PM, Roger Bishop Jones <r...@rbjones.com> wrote:
>
>> On Thursday 08 Jul 2010 11:21, m...@proof-technologies.com
>> wrote:
>>> In fact, Roger, could you confirm that you are using
>>>  OpenMotif 2.3.0?
>>
>> No. 2.2.3-4.
>> I'm on Ubuntu 9.04 so I think I will have to go up to 9.10.
>>
>> Roger
>>
>>
>>
>
>
>
> ----------------------------------------
> _______________________________________________
> Proofpower mailing list
> Proofpower@lemma-one.com
> http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
>
>
>

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

Reply via email to