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 sympa.inria.fr (Postfix) with ESMTPS id 715D182416 for ; Sun, 22 Apr 2018 11:18:39 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=rudi.grinberg@gmail.com; spf=Pass smtp.mailfrom=rudi.grinberg@gmail.com; spf=None smtp.helo=postmaster@mail-pf0-f176.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of rudi.grinberg@gmail.com) identity=pra; client-ip=209.85.192.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rudi.grinberg@gmail.com"; x-sender="rudi.grinberg@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of rudi.grinberg@gmail.com designates 209.85.192.176 as permitted sender) identity=mailfrom; client-ip=209.85.192.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rudi.grinberg@gmail.com"; x-sender="rudi.grinberg@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-pf0-f176.google.com) identity=helo; client-ip=209.85.192.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rudi.grinberg@gmail.com"; x-sender="postmaster@mail-pf0-f176.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AVQSFpB9lRNhUaP9uRHKM819IXTAuvvDOBiVQ1KB3?= =?us-ascii?q?1OMcTK2v8tzYMVDF4r011RmVBd6ds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2O2+55Pebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMNboRr4oRzut86ZrSAfpiC?= =?us-ascii?q?gZMT457HrXgdF0gK5CvR6tuwBzz4vSbYqINvRxY7ndcMsaS2RfQ8heVSJBDI2/?= =?us-ascii?q?YYQAE+UMJvpYo5XnqlcSsReyGRWgCeXywTFInH/22qg63vw9HwHbwQMgHs8Fvn?= =?us-ascii?q?XOrNX0MqcdSv66zLPHzT7eaP5Wwyr955XJchw7rvGMR7NwcczKxkYxDQPFgU6d?= =?us-ascii?q?qYPgPzyP1+QNt3KX4PZnVeKqkmMqrRx6rDaoxscpkIbJh4QVx0jL9SV43IY1Jc?= =?us-ascii?q?C4R1VhbdG4F5tQsieXPJZ1TMM6W2xkpjo2x7kctZO4fCUG0okryhrBZ/CdboSF?= =?us-ascii?q?4BPuWP6MLTp7mH5pYq+zihW8/ES61OHwSNe43ExXoidLk9TBsG0G2QbJ5cidUP?= =?us-ascii?q?R9+1+s2TaR2ADX7eFJOUU0mrDaK54l27IwjpQTvVjaEi/4hUn7jq6bel8r+uiv?= =?us-ascii?q?7OTnbbHmqYGGO4BojQH+N7wims25AesmLggDR3aX9fi42bH5/kD0QK9GguAyn6?= =?us-ascii?q?XHqpzWOMYWq6+hDw9QyIkj6hK/Dzm80NQfmHkKNEhFeA+agIjoIV3OL+r4Dfa5?= =?us-ascii?q?g1u3jjhr3f/GM6buApXINHfDkbPhcaxh5E5bzQo/1cpf6I5MCrEdPPLzXVf8u8?= =?us-ascii?q?DCAR88Nwy42uLnCNRm1oMCQm+PGa+YMKbKsVCS/O4vIu+MZJUUuDnnMfQl6eTu?= =?us-ascii?q?3jcFngo/dKCxlbEQZXa0E+4ud0eQaGLmqtQMC2gXsw4zSqrtklLUFXZYbnO2Gq?= =?us-ascii?q?Y9/S1zXImvCIOGQoG2nJSA2j26F9tYfDYVJEqLFCLSaomFE9gWaSSYL9Vu2mge?= =?us-ascii?q?SLSgDYA71BekuRX147ViJ+vQvCYfsMSwh5BO++TPmERqpnRPBMOH3jTIFjksxz?= =?us-ascii?q?Jad3oNxKl65HdF5BKG2Kl8jeZfEIUKtfxMWwY+c5Xbyr4jUoygakf6Zt6MDW2e?= =?us-ascii?q?bJC+GzhoF4A+xtYPZwB2HNDw1kmejRrvOKcckvmwPLJx8q/Y2CKvdcN0ynKDzK?= =?us-ascii?q?d5yld/HZUJOmqhiapysQPUAtyRng=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DRAwB7UtxahrDAVdFchFWBIphigXSBD?= =?us-ascii?q?4dQjSgLI4RIAoJFGQcBBDUTAQIBAQEBAQEBAQETAQEBCAsLCCgjDII1JAGCSQE?= =?us-ascii?q?CAgFAARseAwELBgUhJQ8BExEBBQEcBgEShHYBAw0HAQ+bIjyMewkFAReCcAWDR?= =?us-ascii?q?woZJg1UV4ImAgEFCQEIh3qBVD+BD4JdLoMRAoc0AoxoiwsIgWGDe4oKhhWFE4k?= =?us-ascii?q?2hlACBAIEBQIFDyGBBDSBck0jUIJDgi6DTopeY5BNAQE?= X-IPAS-Result: =?us-ascii?q?A0DRAwB7UtxahrDAVdFchFWBIphigXSBD4dQjSgLI4RIAoJ?= =?us-ascii?q?FGQcBBDUTAQIBAQEBAQEBAQETAQEBCAsLCCgjDII1JAGCSQECAgFAARseAwELB?= =?us-ascii?q?gUhJQ8BExEBBQEcBgEShHYBAw0HAQ+bIjyMewkFAReCcAWDRwoZJg1UV4ImAgE?= =?us-ascii?q?FCQEIh3qBVD+BD4JdLoMRAoc0AoxoiwsIgWGDe4oKhhWFE4k2hlACBAIEBQIFD?= =?us-ascii?q?yGBBDSBck0jUIJDgi6DTopeY5BNAQE?= X-IronPort-AV: E=Sophos;i="5.49,311,1520895600"; d="scan'208";a="323957585" Received: from mail-pf0-f176.google.com ([209.85.192.176]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 22 Apr 2018 11:18:38 +0200 Received: by mail-pf0-f176.google.com with SMTP id p15so6819659pff.11 for ; Sun, 22 Apr 2018 02:18:38 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:subject:in-reply-to:references:date:message-id:mime-version; bh=4UmVPTLlSim8GKgp4nUsM37MJXjYnKcQHMs0ZiR0NHM=; b=uWMdQmEEQFbZ08AbwObeQlP7uWoxfZjxvIufDxOQ1W4I+Fg0OwRU1RZRLrmMyR3+pg BtmR7cPvR11RD2PydUtQHHg2xstVD4Q+QH91x1Spb8OhNQvcP9SriX1MHYSARxLUYocO ag4kGh22IX1CtJcegtZQ65Q8KhOZ7BBqmro5+tNE/OLaEP8cFoshgyuKF2vijpu/mIG8 jAhPVpT7kjjoW1cFykHyf8aUU6waLKlgOiXVNEhIqlJMD881QiUkGkvIFlwjv/CqjEhz 8nKJxtH4eBW8Kp5Uw6WXP8gCWRLXEww0+XgoJyx1ijC+ahr8uyRGUHSntzKfDQQLtShu Jhgg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:in-reply-to:references:date :message-id:mime-version; bh=4UmVPTLlSim8GKgp4nUsM37MJXjYnKcQHMs0ZiR0NHM=; b=gveDjSno2+VRQwyWsRftAJXbork/L3+radLkv447JjQykg4Zu+kkLvrm24+GXFmFZN jTjNLAvu2a6hvGmayQ3daVV3RmgmndUi6nWdMY0HYnF/9DhW1Btqqk6BPQOO/u8oe8QN /Na7HFB0+bpsoVqWFbKI4HZA+9pmwxZJj2mhMPkA0lN7lSxlIb5zH6l9fjOWBr6NeFNO fdR0DPfE+G8My/3qxxQ/SibByzstLXCqYq96M0vs9QwTVKhLQ7h7gTZ0ZdqoOHzj5wRV hvZ4aXxRbO4PzAoXueG+PgUHbmWBOs1I75S1DyxNeJIEg/PZLLZu5Eqy2pwslGhv54C3 631A== X-Gm-Message-State: ALQs6tA+RlK+9eHRgaVpxgLDhgx+VCA/BBn2+RlMPVbIlqz390wLm631 c0ckDIz9xnyNo1AnoYtnyuVQRkQa X-Google-Smtp-Source: AIpwx4+Ttz9PM3R+LmDX1D3Z6mXmv5IFkuep/aF36SB6i7tWHj6Fj3Cr14xeCZHp+RfSKJrLz4f90w== X-Received: by 10.101.82.68 with SMTP id q4mr5676633pgp.201.1524388716219; Sun, 22 Apr 2018 02:18:36 -0700 (PDT) Received: from localhost ([180.183.222.136]) by smtp.gmail.com with ESMTPSA id r23sm16124317pfh.33.2018.04.22.02.18.33 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 22 Apr 2018 02:18:34 -0700 (PDT) From: Rudi Grinberg To: Jaap Boender , caml-list In-Reply-To: References: Date: Sun, 22 Apr 2018 16:18:31 +0700 Message-ID: MIME-Version: 1.0 Content-Type: text/plain Subject: Re: [Caml-list] [ANN] opaline - OPAm Lightweight INstaller Engine Jaap Boender writes: > Just in case it helps anyone else: I wrote a lightweight OPAM installer > that avoids the circular dependencies that opam-installer has - it > depends only on ocaml, ocamlbuild and opam-file-format. In dune, we've encountered the same problem [1]. Our plan is to solve it the same way - by re-implementing (a superset of) opam-installer. It's a bit of a shame that this might end up happening thrice. [1] https://github.com/ocaml/dune/issues/680