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 [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
