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 ESMTP id E9AA85D4 for ; Sat, 13 Apr 2019 11:15:42 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,345,1549926000"; d="scan'208";a="378491349" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 13 Apr 2019 13:15:41 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id ACEF982693; Sat, 13 Apr 2019 13:15:41 +0200 (CEST) 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 B7EA18249D for ; Sat, 13 Apr 2019 13:15:30 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=asai@is.ocha.ac.jp; spf=Pass smtp.mailfrom=asai@is.ocha.ac.jp; spf=None smtp.helo=postmaster@web.is.ocha.ac.jp IronPort-PHdr: =?us-ascii?q?9a23=3AvhjDVhSOjkegZgLOuP91eiJQqNpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6yYRWN2/xhgRfzUJnB7Loc0qyK6vmmAzFLusnJ8ChbNsAVD1ld0Y?= =?us-ascii?q?RetjdjKfbNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9?= =?us-ascii?q?fbytScbdgMutyu+95YDYbRlWizqhe7NyKwi9oRnMusUMjoZuN7s9xgHXrnZIdO?= =?us-ascii?q?hby2FlLk+Xkxrg+8u85pFu/zlMt/4768JMTaD2dLkkQLJFCzgrL3o779DxuxnZ?= =?us-ascii?q?SguP6HocUmEInRdNHgPI8hL0UIrvvyXjruZy1zWUMsPwTbAvRDSt9LxrRwPyiC?= =?us-ascii?q?cGLDE27mfagdFtga1BoRKhoxt/w5PIYIyQKfFzcL/Rcc8cSGFcRctaSTBPDZ2g?= =?us-ascii?q?YIsOF+oBPPhXr4/hp1sVsBCyARCgCP7zxjNUg3P727Ax3eY8HgHcxAEuEdIAvm?= =?us-ascii?q?rJotv2OqcdXvy6w7TKwjrNdP5WxSvx5ZLUfhw9u/yAQ7R9etfRx0k1EAPFi02d?= =?us-ascii?q?p4n7MDOT1+QCr2ib7+t9Xu+zkG4osQBxqSWoy8g2kYnGnIMVx0vF9SVi2oo1Is?= =?us-ascii?q?G3SE5hbtK+CpRfqzuWN4luQs47RWxjpSg0yroDuZGhfSgKzowqxxHea/ybc4iI?= =?us-ascii?q?/wnsWPyNLjd/gXJofq+0iRWq8UW41+HxWMe53ExLoydFiNXBt38A2wbO5sSbUv?= =?us-ascii?q?dw/1qt1SyR2w3c6uxIO104mK7BJ5I/3rI9mJweulnZECDsgkX5lqqWe10k+ue2?= =?us-ascii?q?7+TnZa3rp5GCOIBvkA3+M78ulta4AeskMggBRXKX9v6g27H5/035WK1Gjvwwkq?= =?us-ascii?q?bHrJDXPdkXq6C3DgNP04su6wyzAjap3dgCgHULMEpJeBedgIjoP1HOLur4DfC6?= =?us-ascii?q?g1m0ijhr3OrJPrz6D5XMNXjPirDhcqp960FG0gY818xQ64hWCrEZOP7zQFP+tM?= =?us-ascii?q?TEDh8lNAy52/roB8941oMaQG6PBq6ZMLjOsVKT/eIuI+yMZJcPtzrnKvgl4eTu?= =?us-ascii?q?jX4jllMHc6mpx8hfVHftMf1sOUSUZTLXidcMC2oQ9l4xRebwiVCGFyVYZ3uoUr?= =?us-ascii?q?gU6TQyCYbgBoDGENODmruEiQS2GJxdZmEOI0uFED+8fp6NWt8Nc2SVKc9o1DUP?= =?us-ascii?q?E7q5HdxynSqyvRP3nuI0ZtHf/TcV4Ne6jIAstr/j0Coq/DkxNPyzlmSETmV6hG?= =?us-ascii?q?QNHmJk3bs5pkd9wxGK2u56m64BTIAB17ZySg4/cKXk4aliEdmrB1DAZZGOQ1av?= =?us-ascii?q?BNytRzMpHIpono0+Jn1lEtDntSjtmiqnB7hMxu6UCZZy87ma2HPxLoB0wDDEzP?= =?us-ascii?q?t5gg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ABAADvw7FclwpAQYVlGgEBAQICAQEBC?= =?us-ascii?q?AIBAQGBUgUBAQEMAYJ4gQOMUl+MO5hIFIFnAQ0BASMKhEAChXYbBwEEMAkOAQM?= =?us-ascii?q?BAQoBAgEBAQETAQEBAQEIFgZMDII6KQGCZwECAgE6PwULCyElDwUgAQUBIoM1A?= =?us-ascii?q?YF5DgEPoCQ8iV0aglWEMQGEBCGBTwYSgSABi1+Bf4QjPoJhAoEpg3OCJgOIMwe?= =?us-ascii?q?KTZMrCYIHhgmMAgwaggiGG4MuiSKQeIEajW8CBAIEBQIGDyGBLoIOMxoIMIMog?= =?us-ascii?q?hUOCYNMimIxgTUmE481AQE?= X-IPAS-Result: =?us-ascii?q?A0ABAADvw7FclwpAQYVlGgEBAQICAQEBCAIBAQGBUgUBAQE?= =?us-ascii?q?MAYJ4gQOMUl+MO5hIFIFnAQ0BASMKhEAChXYbBwEEMAkOAQMBAQoBAgEBAQETA?= =?us-ascii?q?QEBAQEIFgZMDII6KQGCZwECAgE6PwULCyElDwUgAQUBIoM1AYF5DgEPoCQ8iV0?= =?us-ascii?q?aglWEMQGEBCGBTwYSgSABi1+Bf4QjPoJhAoEpg3OCJgOIMweKTZMrCYIHhgmMA?= =?us-ascii?q?gwaggiGG4MuiSKQeIEajW8CBAIEBQIGDyGBLoIOMxoIMIMoghUOCYNMimIxgTU?= =?us-ascii?q?mE481AQE?= X-IronPort-AV: E=Sophos;i="5.60,345,1549926000"; d="scan'208";a="302777493" X-MGA-submission: =?us-ascii?q?MDHGIy+X8J9x47cJ5bpqJzAFQKCO7Q000T6P2n?= =?us-ascii?q?+St5nZNA4Ynd3QltISiJX6O0I8zl5T6fuVqJ8glwkLiszsMgFaNb0JUF?= =?us-ascii?q?ZDtrpWIG+hT07Et2d9UBiFLl+T8NhH/av+LRe0EejTr1mb4dYA51nvhj?= =?us-ascii?q?/NsHquU9Uj5jH/JcV5y03AVA=3D=3D?= Received: from web.is.ocha.ac.jp ([133.65.64.10]) by mail3-smtp-sop.national.inria.fr with ESMTP; 13 Apr 2019 13:15:28 +0200 Received: from mail-pf1-f197.google.com (mail-pf1-f197.google.com [209.85.210.197]) by web.is.ocha.ac.jp (Postfix) with ESMTP id 6E6EE20024F98 for ; Sat, 13 Apr 2019 20:15:23 +0900 (JST) Received: by mail-pf1-f197.google.com with SMTP id v16so8123177pfn.11 for ; Sat, 13 Apr 2019 04:15:23 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:cc:subject:message-id:references :mime-version:content-disposition:in-reply-to:user-agent; bh=vjp2ojCVYSfrCF8xxxCWa22S2AqhcXeQJwmu/XYGX8s=; b=CinnlAlMMLTJ4TFl7ZC8EiTBpxs3AYvTdzX8IZ7MiXpPgQhflHkShu+QEwvVp0m/Lh 1Guelg9p55hLW4rujoqs8wU+vQQ/ilwVrY7TCUZmmgj2AsQZV3htYGoStv00tnSWKJYb WqIYnCWPOUqml1JnWhR4cpMfOqK+t1Dev6GZTsJFqA0Ro2tRbHuH6x1TJ5ovinDZhXZ3 xJP04YS+DoyNmP++QMVSk/QGoVq2M1blofvZFFxzeyVl3n3WsOhQW7bHy8kJEGGPrvGg Z+Y+t/4Py/WLWJrvFUBGS5f4/iScLzJqE3tqBFdyUqrKWn40nZwbP+1VvOhgM/hDLupI x9RA== X-Gm-Message-State: APjAAAVmmRtGDJO3t7BUPlSy+aSPOUnIHfXpr8a0a9dzphuYKkRsZmT7 4PLHGoGSUAlL5uJPQTLFBRZPH0eIOs+kIGZ8SulE/RT2pGoHe5dVhZO4V2ihxTB7ll7J9R1He51 SvkiJTqJ7AKjr X-Received: by 2002:a63:f74c:: with SMTP id f12mr57616413pgk.124.1555154123005; Sat, 13 Apr 2019 04:15:23 -0700 (PDT) X-Google-Smtp-Source: APXvYqyZQEiijNcfQ9wCQqWua1QWNK05p/dPSZt8TrG1GSguebhQHkl8xiaJEeByFu/Un/NNgkhsKw== X-Received: by 2002:a63:f74c:: with SMTP id f12mr57616383pgk.124.1555154122748; Sat, 13 Apr 2019 04:15:22 -0700 (PDT) Received: from localhost (61.245.19.203.eo.eaccess.ne.jp. [61.245.19.203]) by smtp.gmail.com with ESMTPSA id g4sm15974738pfc.75.2019.04.13.04.15.21 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 13 Apr 2019 04:15:21 -0700 (PDT) Date: Sat, 13 Apr 2019 20:15:15 +0900 From: Kenichi Asai To: Gabriel Scherer Cc: caml users Message-ID: <20190413111515.GA37936@pllab.is.ocha.ac.jp> References: <20190410003501.GA68405@pllab.is.ocha.ac.jp> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.7.2 (2016-11-26) Subject: Re: [Caml-list] Local switch using opam 2 Reply-To: Kenichi Asai X-Loop: caml-list@inria.fr X-Sequence: 17488 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: Dear Gabriel, > Our short-term plan is to merge opam file in the OCaml compiler distribution so > that "opam pin ." or "opam install ." or "opam switch create ." works as for > any other opam packages. There is an in-progress proposal by Leo White in > https://github.com/ocaml/ocaml/pull/2207 ; before that gets finished and > integrated, please feel free to download the patch proposed and use it locally. Thank you. It worked. For record, I write what I did: - create a directory containing the OCaml distribution - change it as I want - at the top directory of the OCaml distribution, * place ocaml-variants.opam as found in the above pull request * opam switch create . --empty * opam install . However, I found that this local switch is valid only in the above directory and I cannot set it as my default OCaml compiler. So, I looked around the .opam directory and found this low-level thing that corresponds to what I did for opam 1.2: cd ~/.opam/repo rm state.cache -- necessary to include the following new variant info cd default/packages/ocaml-variants/ mkdir ocaml-variants.4.04.0+my-own-variant cd ocaml-variants.4.04.0+my-own-variant Then, I place the opam file in this directory that designates the base OCaml compiler and the url of the patch I want to apply. I could find many examples of opam files under ~/.opam/repo/default-packages/ocaml-variants/*/ I then execute: opam switch install 4.04.0+my-own-variant and it worked as though it is one of the standard ocaml variants. -- Kenichi Asai