From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 CF966824CF for ; Tue, 27 Nov 2018 11:28:30 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=elfring@users.sourceforge.net; spf=Pass smtp.mailfrom=elfring@users.sourceforge.net; spf=None smtp.helo=postmaster@mout.web.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of elfring@users.sourceforge.net) identity=pra; client-ip=212.227.17.12; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="elfring@users.sourceforge.net"; x-sender="elfring@users.sourceforge.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of elfring@users.sourceforge.net designates 212.227.17.12 as permitted sender) identity=mailfrom; client-ip=212.227.17.12; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="elfring@users.sourceforge.net"; x-sender="elfring@users.sourceforge.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.web.de) identity=helo; client-ip=212.227.17.12; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="elfring@users.sourceforge.net"; x-sender="postmaster@mout.web.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Af2/ZGRUX5K5ZG3Fk6/fIUa9oo2/V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbBaFt8tkgFKBZ4jH8fUM07OQ7/iwHzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba9xIRmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KpwVhTmlD?= =?us-ascii?q?kIOCI48GHPi8x/kqRboA66pxdix4LYeZyZOOZicq/Ye94RWGhPUdtLVyFZH42y?= =?us-ascii?q?cYUPAeoCM+hWoYbyqFkBogexCwS3GOPiyCVFimPq0aA00eksFxzN0gw6H9IJtX?= =?us-ascii?q?TZtMj7OqcPWu6y1qbI1zbDb+5N2Tzg54bIdh4hoeuNXbJ2fsra1E4iGB3BjlWe?= =?us-ascii?q?s4zlPjWV1usWvmiG9OpvS/ivi3U9pwFqpTiv290shZXXiYIbzVDE7yp5z5gvKd?= =?us-ascii?q?2+VkF7fcepHZ1NvC+ZL4t7Wt0uT3x2tCog1LEKp5y2cDIXxJkl3RLTduKLf5CM?= =?us-ascii?q?7x/tTuqdPDl1iGx/dL6ihBu//1Ksx+n+W8SyzV1EtDBKksPWuXAIzxHT6taISv?= =?us-ascii?q?96/kq53DaP0B3T6v1eLUE6i6XUMIQtzaMumZYLsETDGDH5mFnugaOIa0ko5PKk?= =?us-ascii?q?5/r5brjkvJOQKo15hhvjPqgwgsC/BP43MgkKX2iV4+S807jj8FXnT7VOgP02iK?= =?us-ascii?q?jZsJbVJckAu665GBFa0pw46xqlFDem18kYnWMbI11bdhKHiJLpO17QL/ziC/ew?= =?us-ascii?q?nUisnC9xx//aJr3hHonNLn/bnbj9Z7l97kpcxBM3zdBe/JJUFqoMIOnzW0/0rN?= =?us-ascii?q?zXFAU1Mw2yw+b9CdVyzJkSWWyVAvzRDKSHk0KM5+tnB+CTbYsR8GL/Nvwk7rjq?= =?us-ascii?q?hGAwnVs1eaixg90ZcibrMO5hJhCiTzLJi80CDHxCkw4wVu3shxXWXDpdfXe0UI?= =?us-ascii?q?oh/TwhE8S9CprZTY2jh6aO0WG9E4EANTMOMUyFDXq9L9bMYPwLci/HZ5Y5ymVV?= =?us-ascii?q?B4jkcJco0FSVjCG/zrNmKuTO/ShC7sD+z9Vv/KvIkgwo/jF6CN6S3ieLQn0mxz?= =?us-ascii?q?pUFQ9z57h2pAlG8nnGybJx2acKCMde/egPSQAnL5XRwetgBN20XA/dLI/QFQSW?= =?us-ascii?q?B+6+CDR0deofht8DZ0EkQIeniQ3fmTWnCfkZmu7TCQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CuAADiG/1bhwwR49RkHAEBAQQBAQcEA?= =?us-ascii?q?QGBZYJtf4QglgYlmToNKwGBS4J1AoQwGgcBBDQSAQMBAQIBAQEBARMBAQEIDQk?= =?us-ascii?q?IKS+CNiQBgmIBAgIBI1YFCwsaAiYCAlcGDQgBAYMdgXoMpSyBL4VAhHCBC4sCE?= =?us-ascii?q?QaBf4E4DIIxLogFglcCiUeGHJApCZEqBhiJUgsFhymCeJU/gV2Bdk0uCjuCbYI?= =?us-ascii?q?0jic+gTgBAY1qAQE?= X-IPAS-Result: =?us-ascii?q?A0CuAADiG/1bhwwR49RkHAEBAQQBAQcEAQGBZYJtf4QglgY?= =?us-ascii?q?lmToNKwGBS4J1AoQwGgcBBDQSAQMBAQIBAQEBARMBAQEIDQkIKS+CNiQBgmIBA?= =?us-ascii?q?gIBI1YFCwsaAiYCAlcGDQgBAYMdgXoMpSyBL4VAhHCBC4sCEQaBf4E4DIIxLog?= =?us-ascii?q?FglcCiUeGHJApCZEqBhiJUgsFhymCeJU/gV2Bdk0uCjuCbYI0jic+gTgBAY1qA?= =?us-ascii?q?QE?= X-IronPort-AV: E=Sophos;i="5.56,286,1539640800"; d="scan'208";a="286963925" Received: from mout.web.de ([212.227.17.12]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 27 Nov 2018 11:28:30 +0100 Received: from [192.168.1.2] ([93.132.183.97]) by smtp.web.de (mrweb101 [213.165.67.124]) with ESMTPSA (Nemesis) id 0MHXxg-1gOHDQ2flM-003OEG; Tue, 27 Nov 2018 11:28:24 +0100 To: Julia Lawall Cc: caml-list@inria.fr, Oliver Bandel , Yawar Amin References: <20181126101448.3ee5jgz4c6ulsbbr@first.in-berlin.de> <152c589f-c40c-8a43-33c3-70840bc04904@users.sourceforge.net> From: SF Markus Elfring Message-ID: <8dc2405a-0672-9aad-bec5-45245cb12355@users.sourceforge.net> Date: Tue, 27 Nov 2018 11:28:23 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.3.1 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Language: en-GB Content-Transfer-Encoding: 7bit X-Provags-ID: V03:K1:YifCV2bHMzP1tFXtOpFUq1WedSX+UelcEFxJohJz4Fcf51YZJws 0ufHDsf+wyLAvEiyop/i/eXvzAT2Xppb+/ZGHXoltVoZrcjPR5jfOVfeio30qvIRH/I9SRW bu3otNVr5o3uwlU55pf3vdTQZofhJHpSJ68U9ULbdA2zKjwzdIJnemRVpYSfzYKl/pZRtFH /04wCbiWpBY3TututIgCA== X-Spam-Flag: NO X-UI-Out-Filterresults: notjunk:1;V03:K0:F5bbfJFvk/c=:aDJEI1kH6CoPxWyB53KnYK OhZnn1vmeeWDvgKCho2yA+eOZo7mQxG4kIKSM8++N98OyHZvVB7BGgbgst8mtCTIdLqVST4Rt Vxh2i91YvjCEeteRKrd1OK1DsHoZ9rCASx+mOWQheh+C67aV3SqKCuNtTC5g0zRrb2GWzsedw X1dKMaDoRKzvlYX6sO0J75wN9FfE3YndmO4rheTTyOFazCshSTjO6CHWAdXirepm3Inr8kJGG 33YKmeMHq61silg5n+Z8wnGiWTl5g4KGTGoh5Aw/QBifh4COAwJm1TLfKOnZKYvhjDzqkAWvj Dn3/N0pubibM0vm8SGi4YCg6AN9ogQXAiUx0OlougQHljEnf+pFpJpjDv7YvzYhNn3CtnQPVW oRY8MijfSfOON4CtQ1/ePNympHptPod1XTd86agcThQ1bLmD/1rz1o4/jkwEMIle0b7H2AYWQ hEaKoSbJjUnOa/srhogrgSGT1zOna8YlRHRNXH2jwMsdMfnxnvr8Swn3lXEoRzPIj0ajzLEfN OTXgUX30eccowdKD3Qfi22zQbunSmec6AM7FAg+6TvtFar1Dg50rMeCgHZA5aJufBykoHLt7F Qdi0vi5uidS3tqGAljisAUzliv/skL1m4N2hZxKycwTvvSW5ishQ8KpcKSxP/tMEMRp/+ebHG +tpRGnQJuEDg7so/pr//I6ed0spnWccxPwJlOhlO00zpdh4I4m3OarqHa9bYDzKDZEV+i5soa OiDEKSSc0f3rm3Yyp25k5YlsJfG2AdcWxmbnUA8gcQ7A9LNdp+lEcgA6+d6YcG3Wk9EQKhscg LmDukkI8kDJmFtnn47aGgQLPunhwyLI42NvIU64IySVSa760f4qebPojwn9BbdUzblxU5asW2 /PTX/xOdP04UVQsUpazoFoG8B2dWchslBcTcT63pTKJxW5cRp7EfnThQxYmHcHpzqVZfdADU2 pb2mwkoBX6g== Subject: Re: [Caml-list] Build-/Installation-Tools - not enough of them? > The question is what to do after installing opam. This is just another software package management system, isn't it? It should generally ensure that required dependencies will be fulfilled for the use of the provided contents. > Otherwise, people who want to try some ocaml software, > but are not actually forced to use it, will just give up. I am not so concerned in this direction. But there are the usual development challenges to consider around the varying popularity of involved build tools and software products. I am curious on how the situation will evolve further also for the management of application binary interfaces. Would you like to support collateral evolution any more here? Regards, Markus