Re: [ProofPower] Cut and Paste problem
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
Re: [ProofPower] Cut and Paste problem
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
Re: [ProofPower] Cut and Paste problem
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