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