From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 ED89E7F0A3 for ; Mon, 31 Aug 2015 18:44:39 +0200 (CEST) IronPort-PHdr: 9a23:EhodMRVp2Av2ZfvYIB9UbiW0WzfV8LGtZVwlr6E/grcLSJyIuqrYZhCGt8tkgFKBZ4jH8fUM07OQ6PC7HzNZqs/Z7TgrS99laVwssY0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfTR8Kum9IIPOlcP/j7n0oM2IJVoRz2PlPPtbF1afk0b4joEum4xsK6I8mFPig0BjXKBo/15uPk+ZhB3m5829r9ZJ+iVUvO89pYYbCf2pN/dwcbsNBz0jNyUx5db3nRjFVwqGoHUGAUsMlR8dIwXD4Av7Xd/btSz//r591S+WJ8z1ZawzQTOjqb9sTwaugyACYW1quFrLg9B92foI6CmqoAZyltbZ Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=hendrik@topoi.pooq.com; spf=None smtp.mailfrom=hendrik@topoi.pooq.com; spf=None smtp.helo=postmaster@april.topoi.pooq.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of hendrik@topoi.pooq.com) identity=pra; client-ip=69.165.131.134; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="hendrik@topoi.pooq.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of hendrik@topoi.pooq.com) identity=mailfrom; client-ip=69.165.131.134; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="hendrik@topoi.pooq.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@april.topoi.pooq.com) identity=helo; client-ip=69.165.131.134; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="postmaster@april.topoi.pooq.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0B9AwAfhORV/4aDpUVdhDMBvksBCYQ6YIJYAoFhFAEBAQEBAQEBgQmCHYIHAQEEMgFWCxgJJQ8FGIhyxk4BAQEHAQEBAR6La4USF4MBgRQFlUGMcQNPmhsmhBsigwABAQE X-IPAS-Result: A0B9AwAfhORV/4aDpUVdhDMBvksBCYQ6YIJYAoFhFAEBAQEBAQEBgQmCHYIHAQEEMgFWCxgJJQ8FGIhyxk4BAQEHAQEBAR6La4USF4MBgRQFlUGMcQNPmhsmhBsigwABAQE X-IronPort-AV: E=Sophos;i="5.17,442,1437429600"; d="scan'208";a="175486702" Received: from topoi.pooq.com (HELO april.topoi.pooq.com) ([69.165.131.134]) by mail2-smtp-roc.national.inria.fr with ESMTP; 31 Aug 2015 18:44:38 +0200 Received: by april.topoi.pooq.com (Postfix, from userid 1001) id DAB681A03B9; Mon, 31 Aug 2015 12:44:36 -0400 (EDT) Date: Mon, 31 Aug 2015 12:44:36 -0400 From: Hendrik Boom To: caml-list@inria.fr Message-ID: <20150831164436.GA24584@topoi.pooq.com> References: <1C02B1E2-D17D-4008-998E-B17048C62DFA@gmail.com> <55E47B7E.6050901@glondu.net> <55E47D5A.6080806@inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <55E47D5A.6080806@inria.fr> User-Agent: Mutt/1.5.21 (2010-09-15) Subject: Re: [Caml-list] We need a rich standard library distributed with OCaml, really On Mon, Aug 31, 2015 at 06:14:18PM +0200, Francois Berenger wrote: > On 08/31/2015 06:06 PM, Stéphane Glondu wrote: > >Le 27/08/2015 10:17, Gabriel Scherer a écrit : > >>Depending on external libraries used to be a problem when there was no > >>consensus on OCaml packaging (no longer than a few years ago people > >>where reluctant to even use ocamlfind). We now have a reasonable > >>consensus on a packaging story, and installing third-party libraries > >>has never been as easy as it is today -- except on Windows, meh. > >>I think you should embrace the idea of depending on software outside > >>the OCaml distribution. > > > >Depending on a multitude of external libraries makes packaging more > >difficult. I am talking about "system" packaging (deb, rpm...) here, not > >OPAM. And "install OPAM first" is not a very satisfactory way of > >installing some software written in OCaml in a stable environment. > > Why not? > > In my experience, opam installs are quite reproducible. > You can even specify the version number you want to install. > > The only problem I see is that opam install things in a user's home > directory, which is not what you want for a system-wise installation > of a software/library. So there should be a superuser option, telling opam to install in the system-wide installation area. Of course that wouldn't work if you don't have the relevant permissions, not should it. And the details of the superuser option (such as where to install what) may be system-dependent. There are Debian packages that access the net during installation; most notably some device drivers on Debian, where the manufacturer releases its own installation procedure, but does not allow redistribution. So the Debian package, during installation, downloads the manufacturer's installer and executes it. No reason why the, say ocaml packages shouldn't do likewise using opam. One bit of hackery could wrap all the available opam packages. --- hendrik