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=2.4 required=5.0 tests=AWL,DNS_FROM_RFC_POST, HTML_MESSAGE,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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 60CD7BBC4 for ; Mon, 2 Mar 2009 14:44:29 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtACAG9xq0lIDtyYimdsb2JhbACCLDCRVT8BAQEKCQwHDwWybo1OAQMBA4QXBoJyggY X-IronPort-AV: E=Sophos;i="4.38,289,1233529200"; d="scan'208,217";a="23735737" Received: from fg-out-1718.google.com ([72.14.220.152]) by mail3-smtp-sop.national.inria.fr with ESMTP; 02 Mar 2009 14:44:29 +0100 Received: by fg-out-1718.google.com with SMTP id e21so931883fga.43 for ; Mon, 02 Mar 2009 05:44:28 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:sender:message-id:from:to :in-reply-to:content-type:mime-version:subject:date:references :x-mailer; bh=zZoV+xK/l9a8GopBqyaHlZ+FMtGPlSGf0FoyY95pRtY=; b=gOhq41jJTX5tK2rQGZkq5CaFWPeRSAMkRgcW9Bw5xaQDMnV2fCuM4qoH4TGkGxBrOv /WdeX+9LkrgCLYw5pFjRhp3iN4b2Zoh3hjC3O9bEm19hvC+mc0MTfqCNv98tNdDxSR+k ko1fKkgO/IFQIccl9x3GHW07lZcxyY6R/SRsM= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=sender:message-id:from:to:in-reply-to:content-type:mime-version :subject:date:references:x-mailer; b=Tcax0N8iXF/vtoPb2MRSgRmBpuZQ3o4t+lh7D8/lnn9LBMDiY/JowXoXjiIpJaAirR Cf4u5nKRrPOIj7Mt/Z9tUqY5xNFHjyl772KKGBwb3VCh3hxfbI89f21yo/kMV1/QOsoO fGR8Bow98qlNsueDIquQydD1HwFOHgX/qf1ZI= Received: by 10.86.77.5 with SMTP id z5mr1192364fga.34.1236001468705; Mon, 02 Mar 2009 05:44:28 -0800 (PST) Received: from ?192.168.1.34? (40-254.76-83.cust.bluewin.ch [83.76.254.40]) by mx.google.com with ESMTPS id e11sm1838529fga.50.2009.03.02.05.44.27 (version=TLSv1/SSLv3 cipher=RC4-MD5); Mon, 02 Mar 2009 05:44:28 -0800 (PST) Sender: =?UTF-8?Q?Daniel_B=C3=BCnzli?= Message-Id: From: =?ISO-8859-1?Q?Daniel_B=FCnzli?= To: OCaml List In-Reply-To: Content-Type: multipart/alternative; boundary=Apple-Mail-2--3818297 Mime-Version: 1.0 (Apple Message framework v930.3) Subject: Re: [Caml-list] ocamlbuild & deps Date: Mon, 2 Mar 2009 14:43:39 +0100 References: <499ECEB7.6010709@lri.fr> <49A04DAE.6010109@lri.fr> <231BADDB-F88E-4A3D-994B-863579C20810@erratique.ch> X-Mailer: Apple Mail (2.930.3) X-Spam: no; 0.00; bunzli:01 buenzli:01 deps:01 dependencies:01 dependencies:01 caml-list:01 dependency:01 dependency:01 000000:97 static:03 static:03 dynamic:03 dynamic:03 daniel:04 daniel:04 --Apple-Mail-2--3818297 Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit Nicolas told me that the actual order for static dependencies in that example would also be that one : > (((B1 || B2); B) || ((C1 || C2); C)); A However he points out that there's still a difference between static and dynamic dependencies : static dependencies can control the way rules are selected. If two rules can build a target but the first rule has a static dependency that cannot be built then the second rule will be tried. Dynamic dependencies cannot do that since once a rule is invoked it is considered to be definitively selected. Best, Daniel --Apple-Mail-2--3818297 Content-Type: text/html; charset=US-ASCII Content-Transfer-Encoding: 7bit

Nicolas told me that the actual order for static dependencies in that example would also be that one :

(((B1 || B2); B) || ((C1 || C2); C)); A

However he points out that there's still a difference between static and dynamic dependencies : static dependencies can control the way rules are selected. If two rules can build a target but the first rule has a static dependency that cannot be built then the second rule will be tried. Dynamic dependencies cannot do that since once a rule is invoked it is considered to be definitively selected. 

Best,

Daniel

--Apple-Mail-2--3818297--