John> 1. Error with workaround... "apt-get install" puts Ocaml in a John> "nonstandard" location.. /usr/lib/ocaml/camlp5. Specifying this John> with "export CAMLP5LIB" fixed the problem. (This was tricky to John> find, because there were also libs at /usr/local/lib/ocaml/3.12.1, John> and specifying that location didn't fix the problem.)
I don't think ubuntu or debian installs any libraries in /usr/local/lib/ocaml (if it did, it would be a violation of policy since /usr/local is meant to be, duh, local). It merely creates that directory tree if it doesn't exist, as a skeleton for libraries you might install separately from source. I am also surprised that the location /usr/lib/ocaml/camlp5 is unexpected. True, it is not the default if you compile camlp5 from source - but the same can be said about, for example, gcc ;-) -- Ian Zimmerman gpg public key: 1024D/C6FF61AD fingerprint: 66DC D68F 5C1B 4D71 2EE5 BD03 8A00 786C C6FF 61AD http://www.gravatar.com/avatar/c66875cda51109f76c6312f4d4743d1e.png Rule 420: All persons more than eight miles high to leave the court. ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
