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. Any suggestions on how to fix this problem? Should I not be using the rpm of the download site? Looks like this is the last real hurdle. Thanks, Jon Lockhart On Tue, Jul 31, 2012 at 7:57 PM, Phil Clayton <phil.clay...@lineone.net>wrote: > On 01/08/12 00:07, Phil Clayton wrote: > >> >> yum install \ >> gcc-c++ \ >> polyml \ >> > > Of course, you can leave the package polyml out if you're building it > yourself. I believe the Fedora 17 repo supplies 5.4.1. > > If you always want to manage your own versions of Poly/ML, you can ensure > that yum never installs the package polyml from any repo by adding polyml > to the line starting > > exclude= > > in /etc/yum.conf , e.g. > > exclude=polyml > > In my case, I have > > exclude=openmotif*,lesstif*,**polyml,mlton,ocaml* > > Phil > > > > ______________________________**_________________ > Proofpower mailing list > Proofpower@lemma-one.com > http://lemma-one.com/mailman/**listinfo/proofpower_lemma-one.**com<http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com> >
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
