I should have said that it should be 'libxp6' for all versions of Ubuntu,
not just Ubuntu 9.04.

Mark.

on 12/7/10 9:21 AM, m...@proof-technologies.com wrote:

> Ok - it seems it should be 'libxp6' not 'libxp'.  That is, the instruction
> for ancestor packages for installing OpenMotif on Ubuntu should be:
>
> apt-get install libxp6
>
> All the other instructions should still hold - for example, it is still
> 'libxp-dev'(and not 'libxp6-dev') for installing ProofPower 'xpp'.
>
> Thanks very much Roger, that was very valuable.  Any more problems anyone,
> please let me know.
>
> Mark.
>
> on 12/7/10 6:53 AM, Roger Bishop Jones <r...@rbjones.com> wrote:
>
>> On Sunday 11 Jul 2010 10:34, m...@proof-technologies.com
>> wrote:
>>
>>> Please, anyone with any suggestions for improving the
>>>  clarity or scope of this file please contact me.
>>
>> Naively setting forth with your instructions on Ubuntu 9.04
>> fails on the first step with:
>>
>> Reading package lists... Done
>> Building dependency tree
>> Reading state information... Done
>> E: Couldn't find package libxp
>>
>> Is this because your instructions will only work on a later
>> version of Ubuntu?
>>
>> Roger Jones
>>
>>
>>
>
> _______________________________________________
> 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