Re: [ProofPower] Trouble Installing in cloud

2012-08-03 Thread Phil Clayton
On 02/08/12 10:40, Rob Arthan wrote: On 2 Aug 2012, at 06:52, Roger Bishop Jones wrote: On Thursday 02 Aug 2012 00:33, you wrote: On 01/08/12 14:35, Roger Bishop Jones wrote: The real challenge (for me at least) is to get xpp and/or emacs to run in the cloud with a display here on earth, I d

Re: [ProofPower] Trouble Installing in cloud

2012-08-02 Thread Wolfram Kahl
On Thu, Aug 02, 2012 at 06:52:49AM +0100, Roger Bishop Jones wrote: > I am really looking for a complete X11 framebuffer (is that > what they call it?) which is is remote, so that not only > Xpp but also other tools like emacs run remotely. > There does seem to be software which does that (e.g.

Re: [ProofPower] Trouble Installing in cloud

2012-08-02 Thread Rob Arthan
On 2 Aug 2012, at 06:52, Roger Bishop Jones wrote: > On Thursday 02 Aug 2012 00:33, you wrote: >> On 01/08/12 14:35, Roger Bishop Jones wrote: >>> The real challenge (for me at least) is to get xpp >>> and/or emacs to run in the cloud with a display here >>> on earth, I don't have much clue how t

Re: [ProofPower] Trouble Installing in cloud

2012-08-01 Thread Roger Bishop Jones
On Thursday 02 Aug 2012 00:33, you wrote: > On 01/08/12 14:35, Roger Bishop Jones wrote: > > The real challenge (for me at least) is to get xpp > > and/or emacs to run in the cloud with a display here > > on earth, I don't have much clue how to do that. > > I've been thinking about this. To me, i

Re: [ProofPower] Trouble Installing in cloud

2012-08-01 Thread Phil Clayton
On 01/08/12 14:35, Roger Bishop Jones wrote: The real challenge (for me at least) is to get xpp and/or emacs to run in the cloud with a display here on earth, I don't have much clue how to do that. I've been thinking about this. To me, it seems conceptually wrong to be running Xpp remotely.

Re: [ProofPower] Trouble Installing in cloud

2012-08-01 Thread Roger Bishop Jones
Phil, On Wednesday 01 Aug 2012 14:06, Phil Clayton wrote: > Can you > provide the output of > >rpm -ql openmotif-devel It had to be something really stupid, I don't do enough of this kind of thing. I didn't install openmotif-devel. Now I have, and the configure script does find it. I have

Re: [ProofPower] Trouble Installing in cloud

2012-08-01 Thread Phil Clayton
Roger, From the reported package name openmotif-2.3.3-4.6.amzn1.x86_64 I can see that you're not using the packages from motifzone.net. Can you provide the output of rpm -ql openmotif-devel It could be that the Amazon 'amzn1' packages for OpenMotif have the same issue as the RPM Fusion O

[ProofPower] Trouble Installing in cloud

2012-08-01 Thread Roger Bishop Jones
I seem to have the same problem as John in a different place. i.e. in a linux image in the amazon cloud. I followed Phil's Yum list to get me started, which worked apart from failing to find polyml. I successfully built polyml from the sources. Then I checked with yum and found that the openmotif