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 <[email protected]> wrote:
> On Sunday 11 Jul 2010 10:34, [email protected]
> 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
[email protected]
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
