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 now installed ProofPower. I shall try and get the rest of my build system in place, which should be just a question of remembering what else needs to be installed to run my builds. 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. Roger _______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com