From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: *** X-Spam-Status: No, score=3.2 required=5.0 tests=AWL,DNS_FROM_RFC_POST, DNS_FROM_SECURITYSAGE,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id CC00DBBAF for ; Mon, 17 Nov 2008 11:08:05 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvgCABPRIEnAXQImgWdsb2JhbACTGD4BARYisEmJKQEDAQOCdoIN X-IronPort-AV: E=Sophos;i="4.33,617,1220220000"; d="scan'208";a="20026761" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 17 Nov 2008 11:08:05 +0100 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id mAHA851U006125 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 17 Nov 2008 11:08:05 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoUBABPRIElIDtyfkGdsb2JhbACTGD4BAQEBCQkMBxEDsEaJKQEDAQOCdoIN X-IronPort-AV: E=Sophos;i="4.33,617,1220220000"; d="scan'208";a="31517328" Received: from fg-out-1718.google.com ([72.14.220.159]) by mail4-smtp-sop.national.inria.fr with ESMTP; 17 Nov 2008 11:08:04 +0100 Received: by fg-out-1718.google.com with SMTP id e21so2036232fga.25 for ; Mon, 17 Nov 2008 02:08:04 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:from:to :in-reply-to:content-type:content-transfer-encoding:mime-version :subject:date:references:x-mailer:sender; bh=7zCKO1yKI13CC/wiaEg0ND/XKVYBlLRucARTp60iuhU=; b=igxPkEgAFCttE4K69+BNnXUXlubXz9iOQEhGVZfSLa+ZElDzTh9HGN7VR4YkGIK6Og ORDJz50dhRTu8e6Wr1/RYeEH+xO5wvs3FI7n1m7p6MvzcKW3SpIJF+gNQjTqYqiQig0I RLuQ+IvR3/tJxulexr22+TX2LHEGoDHLhdAuU= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:from:to:in-reply-to:content-type :content-transfer-encoding:mime-version:subject:date:references :x-mailer:sender; b=uwUu6o1p5YV0SK/VKbkl/ammMt9gWssijI9l7aSe73vgVqFjIU+wNsWqABAudp1sQu 6vZce2dDYBnWig5FHUD0BjHbOdXJ3LCh/IcvJ03FhARCrJ6PidHkAyfjzYEXa/mY7wUD anmIELViF2GXrA0a7VGwoHonr31djw1yPYSjE= Received: by 10.86.76.16 with SMTP id y16mr2197610fga.17.1226916484264; Mon, 17 Nov 2008 02:08:04 -0800 (PST) Received: from ?192.168.1.34? (181-114.0-85.cust.bluewin.ch [85.0.114.181]) by mx.google.com with ESMTPS id d6sm4300011fga.2.2008.11.17.02.08.03 (version=TLSv1/SSLv3 cipher=RC4-MD5); Mon, 17 Nov 2008 02:08:03 -0800 (PST) Message-Id: From: =?ISO-8859-1?Q?Daniel_B=FCnzli?= To: caml-list List In-Reply-To: <49213F3B.5030805@lri.fr> Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Apple Message framework v929.2) Subject: Re: [Caml-list] ocamlbuild and installed modules and libraries Date: Mon, 17 Nov 2008 11:07:01 +0100 References: <6C9617AA-8360-4857-9BC0-EB13ACBEF8AD@erratique.ch> <1226867823-sup-903@ausone.local> <8C3D2D08-575C-4746-B130-80C1F8417948@erratique.ch> <49213F3B.5030805@lri.fr> X-Mailer: Apple Mail (2.929.2) Sender: =?UTF-8?B?RGFuaWVsIELDvG56bGk=?= X-Miltered: at discorde with ID 49214285.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; bunzli:01 buenzli:01 cmo:01 cmx:01 caml-list:01 modules:02 modules:02 solved:04 daniel:04 daniel:04 problem:05 installed:05 extension:06 ecrit:06 specify:06 Le 17 nov. 08 =E0 10:54, Romain Bardou a =E9crit : > Isn't it almost as simple to write, in a script: > ocamlbuild -cflags -I,$DEPDIR -lflags -I,$DEPDIR > instead of: > ocamlbuild -I $DEPDIR > Remember that $DEPDIR must be absolute, or relative to the _build =20 > directory. Yes, I can live with that. > And for modules, instead of -lib bla, you write -lflags bla.cmo or -=20= > lflags bla.cmx. You can have several -lflags if you want. =20 > Unfortunately you have to specify the extension, so it is true that =20= > a -mod option would actually add something. That is the point, from my perspective the problem is solved for =20 libraries but not for single modules. Daniel