[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] Re: [Caml-list] [ANN] beta-release of OPAM
Hmm... these two assertions are not necessarily contradictory: - on my test virtual machine, ocamlfind did not find the packages installed with opam, and this did the trick (thanks Fabrice!) - but I only had one version of the compiler ... and I do suspect that with multiple versions it will not be enough -- Roberto On Wed, Jan 16, 2013 at 06:46:35PM +0100, Fabrice Le Fessant wrote: > On 01/16/2013 06:40 PM, Thomas Gazagnaire wrote: > >>I would suggest that OPAM should always set the variable OCAMLFIND_CONF to > >>$HOME/.opam/$COMPILER/lib/findlib.conf, so that, whatever the "ocamlfind" > >>that ocamlbuild uses, it will always use the packages installed by OPAM. > > > >I've tried that and unfortunately this didn't seem to work. ocamlfind is > >picking the wrong compiler. > > We just tried it with Roberto, and it worked. > > --Fabrice > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs -- Roberto Di Cosmo ------------------------------------------------------------------ Professeur En delegation a l'INRIA PPS E-mail: roberto@xxxxxxxxxxx Universite Paris Diderot WWW : http://www.dicosmo.org Case 7014 Tel : ++33-(0)1-57 27 92 20 5, Rue Thomas Mann F-75205 Paris Cedex 13 Identica: http://identi.ca/rdicosmo FRANCE. Twitter: http://twitter.com/rdicosmo ------------------------------------------------------------------ Attachments: MIME accepted, Word deprecated http://www.gnu.org/philosophy/no-word-attachments.html ------------------------------------------------------------------ Office location: Bureau 6C08 (6th floor) 175, rue du Chevaleret, XIII Metro Chevaleret, ligne 6 ----------------------------------------------------------------- GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3
|
Lists.xenproject.org is hosted with RackSpace, monitoring our |