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