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 9DE997EE89 for ; Tue, 1 Nov 2016 21:21:54 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=thomas.gazagnaire@gmail.com; spf=Pass smtp.mailfrom=thomas.gazagnaire@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f48.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of thomas.gazagnaire@gmail.com) identity=pra; client-ip=74.125.82.48; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="thomas.gazagnaire@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of thomas.gazagnaire@gmail.com designates 74.125.82.48 as permitted sender) identity=mailfrom; client-ip=74.125.82.48; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="thomas.gazagnaire@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-wm0-f48.google.com) identity=helo; client-ip=74.125.82.48; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="postmaster@mail-wm0-f48.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AA/SaYhFxS+eBk05MW2rAup1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ76rsiwAkXT6L1XgUPTWs2DsrQf2rCQ4/mrADZeqdbZ6TZZL8wKD0dEwe?= =?us-ascii?q?wt3CUeQ+e9QXXhK/DrayFoVO9jb3RCu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYn?= =?us-ascii?q?br+tQt2a3IyL0LX425DBbgZJjTr1RPU6BxyssRSb/p0WjJlKcqEyjBzTrS0bVf?= =?us-ascii?q?5RwDZUJVWWlg20yc6i9ZFl+iVKtrp1685HVKzhV6sxX7VXCj0nKW1z49fk40qQ?= =?us-ascii?q?BTCT72cRBz1F2iFDBBLIuUn3?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DIAAAg+BhYfzBSfUpdHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgn8BAQEBAXp5pDacboIYQhEBAQEBAQEBAQEBARIBAQkLCwkbMkI?= =?us-ascii?q?SgV8YghcBAQMBEigGATgBAwELAQUFRjQBBQEcBjWIGAMPCASdbYEyPzKQEAWEC?= =?us-ascii?q?ScNg3MBCgEBARsCBhCIKgiCUIRHgzGCLwWaGpEccQGIDA6GE40AglUxgRE0gQC?= =?us-ascii?q?BS4FKgX9xhHiCZAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DIAAAg+BhYfzBSfUpdHAEBBAEBCgEBFwEBBAEBCgEBgn8?= =?us-ascii?q?BAQEBAXp5pDacboIYQhEBAQEBAQEBAQEBARIBAQkLCwkbMkISgV8YghcBAQMBE?= =?us-ascii?q?igGATgBAwELAQUFRjQBBQEcBjWIGAMPCASdbYEyPzKQEAWECScNg3MBCgEBARs?= =?us-ascii?q?CBhCIKgiCUIRHgzGCLwWaGpEccQGIDA6GE40AglUxgRE0gQCBS4FKgX9xhHiCZ?= =?us-ascii?q?AEBAQ?= X-IronPort-AV: E=Sophos;i="5.31,433,1473112800"; d="scan'208";a="243119288" Received: from mail-wm0-f48.google.com ([74.125.82.48]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 01 Nov 2016 21:21:54 +0100 Received: by mail-wm0-f48.google.com with SMTP id p190so227518371wmp.1 for ; Tue, 01 Nov 2016 13:21:54 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=YPKGRUbyG5B62sBeEcaU/K30N7mg1Ifd5lJzVqWHny8=; b=iOObKAcR0ZMQOOcmwULVOuu5IxqvlbU9kX2Y+Y+NG3ubICLuJ1j8lbvR67bBseeSbP 0BbBIZNhbpghmnDA3bMOnYW3Bpfqvs4mEnw0wD0O0UlpDgowKuimYYLVxMJiknLUteR+ UkokFLkBq7KciK0ee+iABFOG0Zt9pLvdn/m6ZuvLrZ2dkssWa7OHPugydCsq09CrSsSH xZLa2vjjeJGUdP+Xz24cFfCNlV1inyAynCzaG6xZPrwtUmOp2rBlDBBtKrehh8EIQMaV pv/gLQbF+ULoQIK/tYmWoNx4guXI3PDm4wOp+aLC65mURTarbfQetUc1h6m0KsXt9/0y L8TA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:sender:mime-version:subject:from:in-reply-to :date:cc:content-transfer-encoding:message-id:references:to; bh=YPKGRUbyG5B62sBeEcaU/K30N7mg1Ifd5lJzVqWHny8=; b=N2R5nVPdYotVhITStcMs29QiXbFWzHyib9IuKG/MzNrGdGQJu5CJqOfgCTo2jyPZlw SF3Q3kAZjY+kSJJyYSdqHrsmHaBb2/6VIgK2kDP5W06jnRiEcZPJ1WpeIMm0PYqPtsmW 8L6mm8sO2H4iP0z3Ols9zwo1xVJeTZbsz55Q4QXpxtdprDL/HKTefhnxRXDwVWAIBAB5 tBC6EEG4HKNaV668tgDlqr42VW3azReHVhH4xwgjTT/8M6fxg1FE2FguSPq1fP45Xuk4 ouOBXvPYMsiBraV+Y9e1wYbSJ1XDY8nGNuu6Wucy8b8863uIXLdj4kef675QlMZH/M43 d7QQ== X-Gm-Message-State: ABUngvf3yGar0ZGMKFwXmT6uGJ6cfxhERPbrR9K/7JOI5lk99dI/yU3lvlR/RAOFESYMdw== X-Received: by 10.194.134.72 with SMTP id pi8mr557605wjb.42.1478031713756; Tue, 01 Nov 2016 13:21:53 -0700 (PDT) Received: from [192.168.1.23] (car06-8-83-155-104-81.fbx.proxad.net. [83.155.104.81]) by smtp.gmail.com with ESMTPSA id v2sm2526009wja.41.2016.11.01.13.21.52 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 01 Nov 2016 13:21:53 -0700 (PDT) Sender: Thomas Gazagnaire Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 10.1 \(3251\)) From: Thomas Gazagnaire In-Reply-To: Date: Tue, 1 Nov 2016 21:21:52 +0100 Cc: caml-list@inria.fr Content-Transfer-Encoding: quoted-printable Message-Id: <18E9CB13-CDE4-4681-B7ED-129A3A0F1F3A@gazagnaire.org> References: <95A490A3-072E-4F6B-A889-2B3DA1FF3B3A@gazagnaire.org> To: "Hezekiah M. Carty" X-Mailer: Apple Mail (2.3251) Subject: Re: [Caml-list] Running an Opam Cache? > Is there an existing automated tool to do the same for compilers? Or jus= t download the source + edit the compilers/*/*/*.comp files by hand/script? Unfortunately you indeed have to manually modify the .comp file. > This will, I suspect, be simpler with opam 2.0 and compilers-as-packages. Yes. Best, Thomas=