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=1.7 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE, DNS_FROM_RFC_POST 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 DF1E9BBAF for ; Tue, 7 Jul 2009 20:07:57 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApcCAB0sU0pDww/ZmWdsb2JhbACZDwEBAQEBCAsKBxOlBoEakEIBBQMBhA8F X-IronPort-AV: E=Sophos;i="4.42,363,1243807200"; d="scan'208";a="30818809" Received: from web111515.mail.gq1.yahoo.com ([67.195.15.217]) by mail3-smtp-sop.national.inria.fr with SMTP; 07 Jul 2009 20:07:56 +0200 Received: (qmail 48992 invoked by uid 60001); 7 Jul 2009 18:07:55 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1246990075; bh=zqAP/0pCGrLoRld0OYBCK5jJuzrDAxONeMJaUttiSpE=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=fMoqInEQhIwl7exFHPBR7HUWheOVYdkySgEW2iDnlOsZgARpENNTaivt4i00V79wKrW/rIrJssXPXgLJsx2Jb5MsmFUDM8E8DaILC3H9yuPmOV4HIga3ZeIgqQTyEA0vs0qpLPKj1Y6QBx8T1xH0fhjRlUvOkj4mLZUxDegzB60= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=Rn+ZIPp8+b3ojnIa0V/6DTF3t3DQctN+DZL/nmeAC61uagg9WpNCPA57xX50Pko8KFe5kzrQHG9HCYS6owU7MZo9gJagRnMbXmIQw/oa9dd6Pm/21Ayt869GWF7qpu/ecHGGLmQjLsHBFYYcKw/kGG3Kyg1aeqT/SHXvNSQACmI=; Message-ID: <669097.48491.qm@web111515.mail.gq1.yahoo.com> X-YMail-OSG: KkgKOu8VM1nbnYtVbUBlo404POXMXQr9HM0fv0fawfqNsTh6csZb__iBweGNNR6J9_05gZTB81jx5_ZhXUnm8aOdiut3YQyDGtcdP7R8nBOCbGY3adsrmA3D.T8qVrYbYPBzzjPiXKdQiddmH8TBo3BFZFFD.IMKNSjpmciRH0gY5m.j672ap4fNx21xpqKvAugHGAQmgm5GkCH9TTXhL_RhtY6dApHVOnF6tYOYV8Z7gVTEw66R9_wpkIte3FD8JD8TNV7Arha28K8HmEsJD_s6WXCAVJqZozof6mSJJUmX3Cz0v8AF5v_1iJ3osDz5sECR6_hK Received: from [213.205.70.192] by web111515.mail.gq1.yahoo.com via HTTP; Tue, 07 Jul 2009 11:07:55 PDT X-Mailer: YahooMailClassic/5.4.17 YahooMailWebService/0.7.289.15 Date: Tue, 7 Jul 2009 11:07:55 -0700 (PDT) From: Dario Teixeira Subject: Virtual packages in findlib To: caml-list@yquem.inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; findlib:01 findlib:01 dependency:01 supported:02 linking:02 pattern:04 debian:04 somewhat:05 expressing:05 depend:07 suppose:09 previous:10 sort:12 sort:12 packages:12 Hi,=0A=0A(This is somewhat related to my previous question; having an order= -preserving=0AOcamlbuild would be moot if findlib supported some sort of vi= rtual packages).=0A=0ASuppose that for successful linking you need a packag= e B to appear after=0Apackage A1. However, A1 is only one particular insta= ntiation of A-ness.=0AYou could replace A1 with A2 or A3, and the program w= ould also link and run.=0A=0AIs there a way of expressing this sort of depe= ndency with findlib? Something=0Alike "requires =3D A1 | A2 | A3". Or eve= n better, allowing packages A1, A2,=0Aand A3 to provide a virtual package "= A", and make B depend on that. (The=0ADebian folks will recognise this pat= tern).=0A=0ABest regards,=0ADario Teixeira=0A=0A=0A=0A