From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <lpw25@cam.ac.uk>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id EF0ED820A1
	for <caml-list@sympa.inria.fr>; Wed, 21 Aug 2013 00:09:50 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  lpw25@cam.ac.uk) identity=pra; client-ip=131.111.8.149;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="lpw25@cam.ac.uk"; x-sender="lpw25@cam.ac.uk";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  lpw25@cam.ac.uk) identity=mailfrom; client-ip=131.111.8.149;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="lpw25@cam.ac.uk"; x-sender="lpw25@cam.ac.uk";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@ppsw-42.csi.cam.ac.uk) identity=helo;
  client-ip=131.111.8.149;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="lpw25@cam.ac.uk";
  x-sender="postmaster@ppsw-42.csi.cam.ac.uk";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Aq0BAMvoE1KDbwiVnGdsb2JhbABahyW8QIE9DgEBAQEBBg0JCRQogiQBAQQBI1YFCwkCGgIFIQICDwEESYgdBgSHQJtIiTmBKYEpjnkzB4JogSwDl2WGKY5K
X-IPAS-Result: Aq0BAMvoE1KDbwiVnGdsb2JhbABahyW8QIE9DgEBAQEBBg0JCRQogiQBAQQBI1YFCwkCGgIFIQICDwEESYgdBgSHQJtIiTmBKYEpjnkzB4JogSwDl2WGKY5K
X-IronPort-AV: E=Sophos;i="4.89,922,1367964000"; 
   d="scan'208";a="24360585"
Received: from ppsw-mx-f.csi.cam.ac.uk (HELO ppsw-42.csi.cam.ac.uk) ([131.111.8.149])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 21 Aug 2013 00:09:50 +0200
X-Cam-AntiVirus: no malware found
X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/
Received: from [31.55.90.129] (port=38016 helo=study.localdomain)
	by ppsw-42.csi.cam.ac.uk (smtp.hermes.cam.ac.uk [131.111.8.159]:587)
	with esmtpsa (PLAIN:lpw25) (TLSv1.2:DHE-RSA-AES128-SHA:128)
	id 1VBu7Z-00021a-8R (Exim 4.80_167-5a66dd3)
	(return-path <lpw25@cam.ac.uk>); Tue, 20 Aug 2013 23:09:49 +0100
From: Leo White <lpw25@cam.ac.uk>
To: Casey Basichis <caseybasichis@gmail.com>
Cc: Christophe TROESTLER <Christophe.Troestler@umons.ac.be>,  OCaml Mailing List <caml-list@inria.fr>
References: <CAKX7ZAVY_yFYq6nNw+Tx_pQnA1hq9PnX+x=XGS0EHjAFee7zNg@mail.gmail.com>
	<95B851B6-93AF-47A2-9C65-95E169B1DA07@ocamlpro.com>
	<CAKX7ZAW1179im+Hmq=wRTaSdHPHGuymsZHVGo+EFbry=8464tQ@mail.gmail.com>
	<20130820.223527.351659178592840423.Christophe.Troestler@umons.ac.be>
	<CAKX7ZAV0HfRt2j76RWfV57D7=Eo3-LTm=vOz8fZqWmRBUO6LCA@mail.gmail.com>
X-Face: "XWxb[u_Z\PA_Y?9@|IA!!+jTb(/290-*ea/Un$I0B98.$n%eL.;2w<l)q>*,z]WR#T:,p[
 NBd++M7l]#7zj7!{<NUTKJA{}Ox<uO[wb-s<\6jzp.r]-AE[W%E+ckCQ'2WZS@Zu/PJU$~~oy|>~iw
 $W-"/=|dVjhT[D{4~gE}gK<2`.6fs!;uqqud]vs2N/3^m7{aS1V,
Date: Tue, 20 Aug 2013 23:15:32 +0100
In-Reply-To: <CAKX7ZAV0HfRt2j76RWfV57D7=Eo3-LTm=vOz8fZqWmRBUO6LCA@mail.gmail.com>
	(Casey Basichis's message of "Tue, 20 Aug 2013 14:20:42 -0700")
Message-ID: <87ob8sovp7.fsf@study.localdomain>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Subject: Re: [Caml-list] Setting up OcaIDE

> typing ocaml into the terminal yields:
>
> =C2=A0 =C2=A0 =C2=A0 =C2=A0 OCaml version 4.00.1
>
> Findlib has been successfully loaded. Additional directives:
> =C2=A0 #require "package";; =C2=A0 =C2=A0 =C2=A0to load a package
[...]
> /Users/caseybasichis/.opam/4.00.1/lib/core/core.cma: loaded
> File ".ocamlinit", line 1:
> Error: Reference to undefined global `Condition'

It looks like your .ocamlinit may be missing a "#thread" directive (require=
d by Core).

Regards,

Leo