Re: Trouble findin a library which *is* installed

"Hendrik Boom [email protected] [ocaml_beginners]" <[email protected]>
Newsgroups gmane.comp.lang.ocaml.beginners
Message-ID <[email protected]> 
On Sat, Jul 04, 2015 at 06:19:02AM +0000, Gage Peterson [email protected] [ocaml_beginners] wrote:
> Use opam. It will work out much better. Also I don't think you should ever
> have to run it from root.

Running it from root was a mistake.  And the way it affected the 
results was a clue that the Debian-installed packages weren't even 
being seen.  THough first I misinterpreted the clue.

I'll try opam.  That should work.

Will report back.

-- hendrik
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.