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

Reply via email to