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.


Proofpower mailing list

Reply via email to