From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q3G64Y1I023658 for ; Mon, 16 Apr 2012 08:04:34 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoUBAKS1i0/RVda0kGdsb2JhbABEsy4IIgEBAQEJCQ0HFAQjggkBAQEDARICLAEbHQEDAQsGBQsNLiEBAREBBQEcBhMIGoddAQMGBZo4CowggnKECQoZJw1XiHYBBQuJbj6HEgSIWo0TiziDHT2EKg X-IronPort-AV: E=Sophos;i="4.75,426,1330902000"; d="scan'208";a="140321785" Received: from mail-ob0-f180.google.com ([209.85.214.180]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Apr 2012 08:04:29 +0200 Received: by obbwc20 with SMTP id wc20so5813185obb.39 for ; Sun, 15 Apr 2012 23:04:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; bh=ug0rFZas0fwCJuE+Z+dbRirrT/RRqOwbce8byUIB2gU=; b=P70Mjq1nXR22DJDLLp0vuZ/l8O5DYlEdNeo0Vbhkd3gijSs3fGRcaA/o6to/9OhmCE tDEjYbRWroKGxXkDETCOlktCQXlk7OLgp3SqZTysFCn/usdcWAxgFCKxYFlq5vQos8V6 08fruJb1DOKDDtjGdJj7knXqXeuCY9iEkDFHhW3pyvMZKPfxb4EKsWQkV3rumcFVRmdl 3zhWICuOv+vKa/sg08LWumsTBiJWFsoDSpInzQuCTG+A673EmiT9AlF1293CGE01/FPO 4/Y7sikW/nP0Mq2lxJ227km1MqYY+/zvRiixxQLbNxkxuPN/KeweOlHKeibHvp4Vm4et vA7A== MIME-Version: 1.0 Received: by 10.182.50.100 with SMTP id b4mr14294977obo.45.1334556267442; Sun, 15 Apr 2012 23:04:27 -0700 (PDT) Received: by 10.182.86.167 with HTTP; Sun, 15 Apr 2012 23:04:27 -0700 (PDT) In-Reply-To: References: Date: Sun, 15 Apr 2012 23:04:27 -0700 Message-ID: From: Martin DeMello To: Adrien Cc: OCaml List Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q3G64Y1I023658 Subject: Re: [Caml-list] include path problem: -I +site-lib/lib not working On Wed, Apr 11, 2012 at 12:41 AM, Adrien wrote: > > Nothing is wrong with it. As far as I remember, the "-I +..." syntax is > relative to the location of the compiler. On my godi install, I get: >  % ocamlc -where >  /opt/ocaml/lib/ocaml/std-lib > > As you can see, "std-lib" <> "site-lib" (and same for "pkg-lib"). By the > way, if I'm not mistaken, on godi, std-lib is for the base ocaml, > pkg-lib is for what has been installed through godi and site-lib is for > user-installed packages (and godi has a cryptokit package ;-) ). Thanks, I realise I hadn't properly understood what -I +... was doing. I can't use the cryptokit from godi because opa depends on cryptokit-1.5 and godi ships 1.3. > The right way to do it is to compile with ocamlfind which will always > know the right location. >  % ocamlfind query cryptokit >  /opt/ocaml/lib/ocaml/pkg-lib/cryptokit > >  % ocamlfind ocamlopt -package cryptokit -c ... Wish I could! It's a pretty big open source project that I'm merely trying to get compiled so I can use it. I don't have the time to sit and hack at their build system :( But thanks for the detailed explanation of why ocamlfind is the way to go; I'll definitely be using it for all my personal projects. martin