From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p1NDXFob011900 for ; Wed, 23 Feb 2011 14:33:20 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhACAB6bZE3RVdS2kGdsb2JhbACEIaFwCBUBAQEBCQkMBxEEIKFkiV+CWIUMiQkBAQMFgSKDQXYEjBaISDqBFA X-IronPort-AV: E=Sophos;i="4.62,212,1297033200"; d="scan'208";a="91873303" Received: from mail-px0-f182.google.com ([209.85.212.182]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 23 Feb 2011 14:33:19 +0100 Received: by pxi20 with SMTP id 20so678524pxi.27 for ; Wed, 23 Feb 2011 05:33:17 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type; bh=rznkTSLLr+RBNczoxciFk+7XbKspbDyo8U1OeombLQo=; b=iWjax1DdDTu6gHSgEyEvCMSQp2r65VKVagVAC2AWfueh85zzSX3oH0/HbZ6YoLlOSy 0UIhzhzpbXQl/V3gEFlX/Fsxt1fbpSScSfNqsz3SygDIlkJSfOmPyTSynokRr+qHetKg iKx8N8omGaDf1hZsHPDr29bzwviaa0XQhVwlc= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type; b=IRg+5NcBkAISPp+wUdR7jY8+z82Un0861z4z7/9YUR1U5oIDsdK8d9OqJynryRn/AD Xyu9ekoCWo9i9UHeAci4zOdETflObWyvdIEGQ91pnFKYzv8qXaJsO2qAMeM+RT1aXwNY pQTXoOVPTkmP7kLS98woQKzxHyrrFpP+ZmcgA= MIME-Version: 1.0 Received: by 10.142.58.5 with SMTP id g5mr3188847wfa.186.1298467996001; Wed, 23 Feb 2011 05:33:16 -0800 (PST) Sender: daniel.c.buenzli@gmail.com Received: by 10.142.127.3 with HTTP; Wed, 23 Feb 2011 05:33:15 -0800 (PST) In-Reply-To: <2E007446-C7AD-46D6-8F9C-1377533EF156@polytechnique.org> References: <2E007446-C7AD-46D6-8F9C-1377533EF156@polytechnique.org> Date: Wed, 23 Feb 2011 14:33:15 +0100 X-Google-Sender-Auth: sWc-FqYfe8lkB-Tv-8SZgQyyewU Message-ID: From: =?UTF-8?Q?Daniel_B=C3=BCnzli?= To: Alan Schmitt Cc: caml-list@inria.fr Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] Specifying a framework to link with using ocamlopt? The -lGl is certainly recorded in the Gl.cmxa, see the documentation of the -a option here [1]. You should review how this cmxa was built and installed. Best, Daniel [1] http://caml.inria.fr/pub/docs/manual-ocaml/manual025.html#htoc133