Rob, I will try the rpm inquiry and see what i come up with.
I remember seeing that in the README. Guess it will be necessary to set those config variables. Thanks, Jon On Aug 1, 2012 1:25 AM, "Rob Arthan" <r...@lemma-one.com> wrote: > > On 1 Aug 2012, at 04:35, Jon Lockhart wrote: > > Phil, > > I ran the original yum setup you gave me. Unfortunately the polyml from > the yum install was not placed in the user/lib path, and I could not find > it, so I just built a copy of 5.4 myself and was able to get that installed > no problem in the /user folder. > > Now I believe I am running into the issue you mentioned about Motif. I > went to motifzone.net and downloaded the latest version which was an rpm > and I grabbed the Fedora 12 version since it was the closest version to 17. > The rpm installed just fine, though some compatibility packages had to be > downloaded and installed as well. Now unfortunately the configure file for > ProofPower is not finding Motif installed. > > > You can use the PPMOTIFHOME environment variable to tell the configure > script where Motif is. Something like: > > PPMOTIFHOME=/usr/local/ ./configure > > I don't know where the rpm will have put the Motif installation, but you > should be able to find that out with an rpm enquiry. > > Does that help? > > Regards, > > Rob. > >
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com