[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               
         



 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.