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 6F2415D4 for ; Tue, 11 Dec 2018 11:40:06 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,342,1539640800"; d="asc'?scan'208";a="359786376" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 11 Dec 2018 12:40:04 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 8A2FF82561; Tue, 11 Dec 2018 12:40:04 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id AF361824E4; Tue, 11 Dec 2018 12:35:03 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=louis.gesbert@ocamlpro.com; spf=PermError smtp.mailfrom=louis.gesbert@ocamlpro.com; spf=Pass smtp.helo=postmaster@mail.antislash.info IronPort-PHdr: =?us-ascii?q?9a23=3AMRJpcB8eYBA1n/9uRHKM819IXTAuvvDOBiVQ1KB3?= =?us-ascii?q?2uMcTK2v8tzYMVDF4r011RmVBdWds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2O2+557ebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRh/2hi?= =?us-ascii?q?kaOTA382bXhc5+jK1UvB2svBN/z5LObYyPKPZyYqHQcNUHTmRBRMZRUClBD5u6?= =?us-ascii?q?YYsIEuoBPP1YpJT8qVQQthuxHhejBPnzyjRVgXL22ao60/kgEQHdxgAgEMwBsG?= =?us-ascii?q?/Po9rrLqcSTfu4zK7UwjrZavNW3S/96JLPchw7vf6MWrdwfNPXxEIyGQ3FiVCQ?= =?us-ascii?q?ppbkPzOTzukNtHSU4PBlVeKrkWInrBtxoje3yscji4nJmoIVyk3f+ilj3Ik1It?= =?us-ascii?q?i4RUhmatCnCJtdry+XOolsTs8/QGxlujw2xqMJtJO0ZiQHxpUqyhjCYPKdaYeI?= =?us-ascii?q?+AjsVOOJLDd4mn1lfLW/ig638Ue6y+38UtO430xMripZk9nMrXQN2AbI6siHUP?= =?us-ascii?q?d9/0Gh2TiI1wzL6+FEJ147lbbDJpMvwLM8jIcfvEfBEyPshkn7g6Cbel8q9+Wp?= =?us-ascii?q?8+jnZ6/ppp6YN496kAH+NaEul9S7AeQ/LwgOXnOb9f6z1LL95k32W6tFjucqkq?= =?us-ascii?q?TCt5DVOd4Upqu9Aw9NyIYj7AyzACuh0NQdhXUHNk5KeAqbj4j1PFHDOOz3Au26?= =?us-ascii?q?g1SoiTtrw/HGPqb9ApnUNHjMjq7hfatj5E5H1Ao+1stf5pJRCrEZOv3/QE7xtN?= =?us-ascii?q?rCDh84KQO42ejnCM9l3IMERW2PGrOZML/VsVKQ+u0gOeyMZIsMtDb5Kvgl/OLu?= =?us-ascii?q?gGQimV4deKmpxYEYZGq5HvRgOUWZYGDjjs0PEWcQ7UICS7nhgViGFDpSfGqaXq?= =?us-ascii?q?Qm5zh9BpjiRanZT4amh72alA22BJBQaW1cQgSJFXbza56sX/YDYSSeZMJ8xG8q?= =?us-ascii?q?T7+kHqsmyBC1/CD30LBqNPacrikfqJP4ktd4/Ofejw0a8jd9CsCFyWbLRGZxyD?= =?us-ascii?q?BbDwQq1bxy9BQugmyI1rJ11qQBRI5joshRWwJ/DqbyiulzCtT8QAXEJ4vbT12v?= =?us-ascii?q?R9G+GzZ3RdU0kYFXPxRNXu66hxWG5BKERqcPnuXXVps/+6fYx2L2Yc16ziSejf?= =?us-ascii?q?RzvxwdWsJKcFaeqOt/+gzUXdeblkyYk+Cjc7gdxyrE72fFzGyAuxMBXQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BpBQBLoA9c/yT0uyVkAR0BAQUBBwUBg?= =?us-ascii?q?VQFAQsBgmlwEieDe4h4jT6ODoJFiHkIBSOESQIIg0oHAQMzBg0BAwEBAgEBAQE?= =?us-ascii?q?BbBwMgjYigmUBBAEjVhALIRACDwICDwFHBgEtgweBeQwLpRaBL4QtARNAhSyCb?= =?us-ascii?q?YslP4QjgxMLAgICgjsBgiWCVwKJN5dEBwKCIgSEY4pgCoIfh0CHV4kjhAZtix2?= =?us-ascii?q?BXCKBVjMaI1CCbQiFf4UUhUBBMAGLZwEB?= X-IPAS-Result: =?us-ascii?q?A0BpBQBLoA9c/yT0uyVkAR0BAQUBBwUBgVQFAQsBgmlwEie?= =?us-ascii?q?De4h4jT6ODoJFiHkIBSOESQIIg0oHAQMzBg0BAwEBAgEBAQEBbBwMgjYigmUBB?= =?us-ascii?q?AEjVhALIRACDwICDwFHBgEtgweBeQwLpRaBL4QtARNAhSyCbYslP4QjgxMLAgI?= =?us-ascii?q?CgjsBgiWCVwKJN5dEBwKCIgSEY4pgCoIfh0CHV4kjhAZtix2BXCKBVjMaI1CCb?= =?us-ascii?q?QiFf4UUhUBBMAGLZwEB?= X-IronPort-AV: E=Sophos;i="5.56,342,1539640800"; d="asc'?scan'208";a="288652950" Received: from antislash.info (HELO mail.antislash.info) ([37.187.244.36]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 11 Dec 2018 12:35:02 +0100 From: Louis Gesbert To: caml-list@inria.fr, Francois Berenger Cc: caml-list-request@inria.fr Date: Tue, 11 Dec 2018 12:34:50 +0100 Message-ID: <2678986.C2DJzPsk9y@agaric> Organization: OCamlPro In-Reply-To: References: <966B3CBE-29BB-4336-BDBF-0012723E7099@math.nagoya-u.ac.jp> <8736r9mbho.fsf@x80.org> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="nextPart193077420.9GVkHO9jtu"; micalg="pgp-sha256"; protocol="application/pgp-signature" X-Validation-by: louis.gesbert@ocamlpro.com Subject: Re: [Caml-list] LablGtk3 beta1 Reply-To: Louis Gesbert X-Loop: caml-list@inria.fr X-Sequence: 17237 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: --nextPart193077420.9GVkHO9jtu Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="UTF-8" > > An even worse problem is this case: imagine package A and B both depend > > on gtksourceview, however package A requires version > 2.10 and package > > B version > 2.11. >=20 > Oh, this one is an interesting question! >=20 > You are suggesting that opam should support the installation of=20 > different versions of the same thing. > I think nix can do that, and that indeed looks like a current limitation= =20 > of opam. It is a limitation that has been explicitely put into opam, because of what= the rest of the tooling requires. I made a more detailed explanation here:= https://github.com/ocaml/opam/issues/3696 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 tha= t "package A requires version > 2.10 and package B version > 2.11" is no pr= oblem at all for opam, but _expressing_ it is, for `conf-*` packages. The thing is that we can only detect the installed versions of system packa= ges, not control them (even with `opam-depext`, we can trigger the installa= tion of a given package, but most distributions don't allow to choose betwe= en 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 m= atch, which is not the most helpful solution; adding the depexts to the pac= kage directly could help a bit, but again, as we don't control the system p= ackage 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 o= pam file, without relying on `./configure` (it will still fail only at buil= d time, though, because the value of the variable can't be known yet at res= olution time). Hope this helps, Louis Gesbert =E2=80=94 OCamlPro =C2=B9 http://opam.ocaml.org/doc/Manual.html#dotconfigsection-variables --nextPart193077420.9GVkHO9jtu Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part. Content-Transfer-Encoding: 7Bit -----BEGIN PGP SIGNATURE----- iQEzBAABCAAdFiEEbvv1DIVPNISNNdcMGDmcR4apvJgFAlwPoNoACgkQGDmcR4ap vJg+Ngf/aYUjVmRd1PASc0ofUVOL6uh+Onu8bqnUuM4eVMLXxSUaLs9UNccz4oyH KsQSxPSC1nMeLleAwWCVXBkB0bvBBz5TAWf/UwIrvlKJt1P5g+gGPNz0PX+HQzOF FeviiaDoZn817qwQKcKLdVkCeQM6vXedAgltpJuPnlLQ40ElR3ULcf4CU1elpRFH zIhxkHMn/MyTmKIaHHQ8tXmoRN8fELgbQ7bdjixvVLVXFD/YBY2vgQ2kS3XPEhM1 03bjaYxlXf8giGaphte7PdwwGkiLvABgtdiZfmcUZF4/CBGBpP1+MycdYsJhvC9J 3OJ3/KmpVu2qkJ0oD0jQ0yQM5JXOyw== =hGXJ -----END PGP SIGNATURE----- --nextPart193077420.9GVkHO9jtu--