From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id B3F795D4 for ; Fri, 14 Dec 2018 11:41:57 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,352,1539640800"; d="scan'208";a="360383991" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 14 Dec 2018 12:41:56 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id B3F8D82562; Fri, 14 Dec 2018 12:41:56 +0100 (CET) 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 50ED8824E4; Fri, 14 Dec 2018 12:41:48 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=e@x80.org; spf=Pass smtp.mailfrom=e@x80.org; spf=Pass smtp.helo=postmaster@x80.org IronPort-PHdr: =?us-ascii?q?9a23=3AVeZ5rRMCqpu3nsUN46cl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Iv/5rarrMEGX3/hxlliBBdydt6oUzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxlLiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0vRz+s87lkRwPpiC?= =?us-ascii?q?cfNj427mfXitBrjKlGpB6tvgFzz5LIbI2QMvd1Y6HTcs4ARWdZXshfSTFPAoSy?= =?us-ascii?q?b4UBDeUPPuhXoIbhqFUBtha+GRCsCfnzxjNUnHL736s32PkhHwHc2wwgGsoDvn?= =?us-ascii?q?vRrNX0MKcSUOe1w7HMwzrddPNOwyz955DJfB87pfGMWax/ccXWyUY3Cw7FlFSQ?= =?us-ascii?q?ppb+PziI0ekCrXOW7uVjWO6zkWInrBtxoje2y8oql4LHhZoVx0jZ+Sh6w4s5P8?= =?us-ascii?q?O0RFB6bNK+DZddtTyWO5FrTs4sXW1koCU3x7wctZO6fiUG0pAqywTCZ/GFdYWD?= =?us-ascii?q?/wjtW/yLIThigXJoYLK/iAi28Uin0uD9Wcq53EpQoipCiNnMuWgB1x3V6seZVv?= =?us-ascii?q?tw5lqt1DWM2gzJ9O1IP0E5mbDGJ5Mj37I8jIcfvErdEiPunUX5lq6WdkEq+uiy?= =?us-ascii?q?7OTnZ63rqYGHOo57iQzyLr4imsulAeQ3KgQORXSU+fyg1L3/+k30WKlFgeczkq?= =?us-ascii?q?ndqZzaIcUbprWlAwNMyIYs9Q+/Dyq439QDgXkKN0lFeRKCj4jxIV7COvH4DfGl?= =?us-ascii?q?g1Stijhn3f7GPqf5CJXXMnfDiKvhfap660NE1AU819Vf55ZNBrEFIfLzQVPxuc?= =?us-ascii?q?fDDh45Ngy02/zoBM981oMYQ2KPA7WWPLncsV+StaoTJLyoY5IUo37SJuMv6uTy?= =?us-ascii?q?xSs9nkIcZu+m0IAdZWqkNvNtKkCdeWDrxNwGFDFZkBA5SbnHjVyGUDlkRXupzb?= =?us-ascii?q?kLyTg/DI+pCrDqXIGkm/TV0Q+rTsUQYXpJXAPfWUz0fpmJDq9fIBmZJdVsx3ld?= =?us-ascii?q?DeD4Gt0RkCq2vQq/8IJJa+/d+ykWr5XmhYplt7WVkgs9p2UtU5atllqVRmQxpV?= =?us-ascii?q?smAics1fEtsRwljFCZ3vog2qEKJZlo//pMFzwCG9vcwuh9WoLiClqHec2GGg+r?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BlAwC5lRNcl4Sr4rxjHgEGBwaBZYJmg?= =?us-ascii?q?QYng3yIeIsZgg2KU458DSsBhEACgwUbBgEENBIBAwEBAgEBAQEBEwEBAQEBCBY?= =?us-ascii?q?GTAyCNiQBgmIBAgIBIx0BATcBBAsLGgIFIQICDwEESRMbgwaBeQykbnCBL4J2A?= =?us-ascii?q?QEFhiVSMwiBC4szghaDJX6IBYJXiUCXWggBkXKRTZlYgV1jgRQzGjBDgmyCGxq?= =?us-ascii?q?IZ4VAPjOBAgEBJBMLAYwWAQE?= X-IPAS-Result: =?us-ascii?q?A0BlAwC5lRNcl4Sr4rxjHgEGBwaBZYJmgQYng3yIeIsZgg2?= =?us-ascii?q?KU458DSsBhEACgwUbBgEENBIBAwEBAgEBAQEBEwEBAQEBCBYGTAyCNiQBgmIBA?= =?us-ascii?q?gIBIx0BATcBBAsLGgIFIQICDwEESRMbgwaBeQykbnCBL4J2AQEFhiVSMwiBC4s?= =?us-ascii?q?zghaDJX6IBYJXiUCXWggBkXKRTZlYgV1jgRQzGjBDgmyCGxqIZ4VAPjOBAgEBJ?= =?us-ascii?q?BMLAYwWAQE?= X-IronPort-AV: E=Sophos;i="5.56,352,1539640800"; d="scan'208";a="360383925" Received: from x80.org ([188.226.171.132]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 14 Dec 2018 12:41:47 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=x80.org; s=chaosisorder; h=Content-Transfer-Encoding:Content-Type:MIME-Version: Message-ID:In-Reply-To:Date:References:Subject:Cc:To:From:Sender:Reply-To: Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender: Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=tIsiaX6No2DDCrAC+OgFIGoTo1hwCK1Q0uIVWQRBpHo=; b=s9ZsNd6n5w04nTOkFi1WDBLlTC 7Ny2n175HKROniRAmpeGbYXvFQ7cp5G5GuaXmUhCZOECs6JiD2ADZPHm6sx4eKfixU4QqIq21Eh9f KslKLGOarKz2SZzh34aumbHVw9ei+QZPwOmNDmszNyt6uCxCSUjSrzbVTWixF/dU0Isc=; Received: from 17.9.67.86.rev.sfr.net ([86.67.9.17] helo=lasserre) by x80.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1gXlql-0005Vm-1s; Fri, 14 Dec 2018 11:41:47 +0000 From: =?utf-8?Q?Emilio_Jes=C3=BAs_Gallego_Arias?= To: Louis Gesbert Cc: caml-list@inria.fr, Francois Berenger , caml-list-request@inria.fr Organization: X80 Heavy Industries References: <966B3CBE-29BB-4336-BDBF-0012723E7099@math.nagoya-u.ac.jp> <8736r9mbho.fsf@x80.org> <2678986.C2DJzPsk9y@agaric> X-Url: https://x80.org/emilio/ Mail-Followup-To: Louis Gesbert , caml-list@inria.fr, Francois Berenger , caml-list-request@inria.fr Date: Fri, 14 Dec 2018 12:41:45 +0100 In-Reply-To: <2678986.C2DJzPsk9y@agaric> (Louis Gesbert's message of "Tue, 11 Dec 2018 12:34:50 +0100") Message-ID: <87tvjgs5c6.fsf@x80.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] LablGtk3 beta1 Reply-To: =?utf-8?Q?Emilio_Jes=C3=BAs_Gallego_Arias?= X-Loop: caml-list@inria.fr X-Sequence: 17242 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Louis Gesbert writes: > I don't believe that's what was suggested in the original message, > though ? The pointed issue seemed to me that we don't handle detailed > versions for `conf-*` packages, which means we can't encode precise > dependencies to the underlying system package versions. In other > words, _handling_ the fact that "package A requires version > 2.10 and > package B version > 2.11" is no problem at all for opam, but > _expressing_ it is, for `conf-*` packages. Exactly, thanks for the summary Louis. > The thing is that we can only detect the installed versions of system > packages, not control them (even with `opam-depext`, we can trigger > the installation of a given package, but most distributions don't > allow to choose between multiple versions). In this case, you will > have to rely on your package's `./configure` to fail when the version > of the system dependency doesn't match, which is not the most helpful > solution; adding the depexts to the package directly could help a bit, > but again, as we don't control the system package version anyway, not > that much. > > There is one way we could improve a (little) bit: > e.g. `conf-gtksourceview` could expose=C2=B9 a `system-version` variable > upon installation, e.g. `2.11`, and then you could fail explicitely > with a message directly from the opam file, without relying on > `./configure` (it will still fail only at build time, though, because > the value of the variable can't be known yet at resolution time). I am still not convinced by this; it seems to require quite a bit of overhead for something that is IMO better done on the package itself. The thing is that packages are the ones that really know what they depend upon; adding this indirection layer serves little purpose. Something that should be very useful tho is to be able to rely on a centralized depexp database. Thus, when I write "depext: [ gtk-2.0 >=3D 2.11 ]" I don't have to provide the info for native mappings, and I can check what the supported set of names is, etc... Best, E. --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list Forum: https://discuss.ocaml.org/ Bug reports: http://caml.inria.fr/bin/caml-bugs=