From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id C69F67ED25 for ; Tue, 16 Jul 2013 09:37:18 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of thomas.gazagnaire@gmail.com) identity=pra; client-ip=209.85.212.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="thomas.gazagnaire@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of thomas.gazagnaire@gmail.com designates 209.85.212.170 as permitted sender) identity=mailfrom; client-ip=209.85.212.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="thomas.gazagnaire@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wi0-f170.google.com) identity=helo; client-ip=209.85.212.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="postmaster@mail-wi0-f170.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiUCAPv25FHRVdSqjmdsb2JhbABagzqwBpIngREWDgEBAQEHDQkJEgYkgiMBAQQBOgYBLQsBAwELAQUFJSE0AQUBChIGJYdsAwkGBAiYQY9NhHwnAwqIWAEFDI8lg0VtA5kFhHqJRT+BXYJd X-IPAS-Result: AiUCAPv25FHRVdSqjmdsb2JhbABagzqwBpIngREWDgEBAQEHDQkJEgYkgiMBAQQBOgYBLQsBAwELAQUFJSE0AQUBChIGJYdsAwkGBAiYQY9NhHwnAwqIWAEFDI8lg0VtA5kFhHqJRT+BXYJd X-IronPort-AV: E=Sophos;i="4.89,675,1367964000"; d="scan'208";a="26151739" Received: from mail-wi0-f170.google.com ([209.85.212.170]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Jul 2013 09:37:18 +0200 Received: by mail-wi0-f170.google.com with SMTP id ey16so3790085wid.5 for ; Tue, 16 Jul 2013 00:37:18 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:subject:mime-version:content-type:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to:x-mailer; bh=fFXSrkm9fgyRcOXoj8OWmraXlcbbT4Oq1pB1su9sMT4=; b=mXGo0NI/HYvagPrh+dyI7j4EUB6Qp57wbYridAgyEbOyeZEtYLwe0ORaevmBtpD6Vf 99Vluf1SzB5aQ5ALwmh4MG0kI+spOGAL4eVP/wduXdVOxllZJPr3K4mBSlu52ngTGiJI eTPq2SdsX7VkzJr0X2v9nWeZDjLWpCBeRoRuM/Q1LBHA8WuZXvuaXJ/WzBvsQkBTP3rW CxkrYvJqNe+ICiGoSKyUfehqR2KHD4AM6bV4s35pVWl0r65uv1HQQsUZgx0dKslCvDKE sRt3xtLMnDzAwUMu7YMHJWcqJT4ng52Z/3kR/K6mtSzPqNrHKUSLCTySzV5+pSV2q4kV Zcfg== X-Received: by 10.194.109.104 with SMTP id hr8mr172836wjb.32.1373960237865; Tue, 16 Jul 2013 00:37:17 -0700 (PDT) Received: from [192.168.0.10] (sud35-6-83-152-60-83.fbx.proxad.net. [83.152.60.83]) by mx.google.com with ESMTPSA id d8sm452108wiz.0.2013.07.16.00.37.16 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Tue, 16 Jul 2013 00:37:17 -0700 (PDT) Sender: Thomas Gazagnaire Mime-Version: 1.0 (Apple Message framework v1085) Content-Type: text/plain; charset=us-ascii From: Thomas Gazagnaire In-Reply-To: Date: Tue, 16 Jul 2013 09:37:15 +0200 Cc: Caml List Content-Transfer-Encoding: quoted-printable Message-Id: References: To: Alan Schmitt X-Mailer: Apple Mail (2.1085) Subject: Re: [Caml-list] lablgtk2: cannot find the Pango module? > ocamlopt -g -I lwt -I ubase -I system -I fsmonitor -I fsmonitor/linux -I = fsmonitor/windows -I system/generic -I lwt/generic -ccopt -mmacosx-version-= min=3D10.5 -I +lablgtk2 -c /Users/schmitta/src/unison/trunk/src/uigtk2.ml > File "/Users/schmitta/src/unison/trunk/src/uigtk2.ml", line 81, character= s 26-48: > Error: Unbound module Pango >=20 > The strange thing is that when I launch the lablgtk2 toplevel, I can do > a "open Pango" with no error. I guess the -I +lablgtk2 does not use the right path. Under OPAM, files are= installed in `opam config var lib`/labgtk (`opam config var labgtk:lib` in= master). Or you can use the ocamlfind installation path: `ocamlfind query = lablgtk`. Thomas > I'm using an opam-installed version of lablgtk2 on OS X (with a gtk from > homebrew), and I can see a pango.cmx file in the place pointed by > ocamlfind. I can also build some other gtk-based applications such as > Why3. Could someone please tell me if the compilation options above are > correct? >=20 > Thanks, >=20 > Alan >=20 > --=20 > 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