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 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
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 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
Re: [ProofPower] Cut and Paste problem
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
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 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
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 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 > > > PP_INSTALL Description: Binary data ___ 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
Re: [ProofPower] Cut and Paste problem
In fact, Roger, could you confirm that you are using OpenMotif 2.3.0? Mark. on 8/7/10 10:12 AM, m...@proof-technologies.com wrote: > OpenMotif 2.3.2 works as well. > > on 7/7/10 6:56 PM, Phil Clayton wrote: > >> This has been the subject of much discussion in the past... The >> solution should be as simple as using OpenMotif 2.3.1. >> >> If you're a Fedora user see my previous post: >> >> > http://lemma-one.com/pipermail/proofpower_lemma-one.com/2010-January/000592. >> html >> and if you don't want to wade through all the detail, just follow the >> commands at the bottom. I can't say what the OpenMotif situation is for >> non-Fedora Linux distributions or where to get an appropriate version. >> >> Phil >> >> Roger Bishop Jones wrote: >>> I have one other problem with my present set-up. >>> >>> In xpp cut and paste don't work, neither by keyboard nor by >>> menu. >>> >>> If anyone else has come across this and can help that would >>> be appreciated. >>> >>> 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 >> >> >> > > ___ > 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
OpenMotif 2.3.2 works as well. on 7/7/10 6:56 PM, Phil Clayton wrote: > This has been the subject of much discussion in the past... The > solution should be as simple as using OpenMotif 2.3.1. > > If you're a Fedora user see my previous post: > > http://lemma-one.com/pipermail/proofpower_lemma-one.com/2010-January/000592. > html > and if you don't want to wade through all the detail, just follow the > commands at the bottom. I can't say what the OpenMotif situation is for > non-Fedora Linux distributions or where to get an appropriate version. > > Phil > > Roger Bishop Jones wrote: >> I have one other problem with my present set-up. >> >> In xpp cut and paste don't work, neither by keyboard nor by >> menu. >> >> If anyone else has come across this and can help that would >> be appreciated. >> >> 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 > > > ___ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
Re: [ProofPower] Cut and Paste problem
This has been the subject of much discussion in the past... The solution should be as simple as using OpenMotif 2.3.1. If you're a Fedora user see my previous post: http://lemma-one.com/pipermail/proofpower_lemma-one.com/2010-January/000592.html and if you don't want to wade through all the detail, just follow the commands at the bottom. I can't say what the OpenMotif situation is for non-Fedora Linux distributions or where to get an appropriate version. Phil Roger Bishop Jones wrote: I have one other problem with my present set-up. In xpp cut and paste don't work, neither by keyboard nor by menu. If anyone else has come across this and can help that would be appreciated. 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
[ProofPower] Cut and Paste problem
I have one other problem with my present set-up. In xpp cut and paste don't work, neither by keyboard nor by menu. If anyone else has come across this and can help that would be appreciated. Roger Jones ___ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com