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 941D082673 for ; Wed, 10 Apr 2019 11:08:25 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-qt1-f170.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.160.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.160.170 as permitted sender) identity=mailfrom; client-ip=209.85.160.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@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-qt1-f170.google.com) identity=helo; client-ip=209.85.160.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-qt1-f170.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AlwO5PxazCTZcOA2NjBbMJXP/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZr8u/bnLW6fgltlLVR4KTs6sC17OP9fm/EjVZqdbZ6TZeKcQKD0dEwe?= =?us-ascii?q?wt3CUYSPafDkP6KPO4JwcbJ+9lEGFfwnegLEJOE9z/bVCB6le77DoVBwmtfVEt?= =?us-ascii?q?fre9FYHdldm42P6v8JPPfQpImCC9YbRvJxmqsAndrMYbjZZ/Jqor1xfEoHREd/?= =?us-ascii?q?lLyWh1IV6fgwvw6t2/8ZJ+7yhcoe4t+9JFXa7nY6k2ULtUASg8PWso/sPrrx7D?= =?us-ascii?q?TQWO5nsYTGoblwdDDhbG4h/nQJr/qzP2ueVh1iaUO832Vq00Vi+576h3Uh/oiT?= =?us-ascii?q?wIOCA//WrKl8F/lqNboBampxxi347ZZZyeOfRicq/Be94RWHFMVdhNWSNfHoy8?= =?us-ascii?q?bpMPD+sfMuZes4n9vEYFoR+nCQWxGO/j1jpEi3nr1qM4zushCxnL0wMuH90MsH?= =?us-ascii?q?raotb7OroMX++p16TH1ynPYulM1Dvh9ITFcBYsquyMU7JqdsrRzFEiGQLfgVqL?= =?us-ascii?q?s4zlPi2a1uAQuGaG8+VgVfygi3Q5pAFrvzOiwcgshZPSiYIPy1DL6yF5zJwuJd?= =?us-ascii?q?KkSE50f8SkH4VKtyyBOIt2R9ktQ2BsuCog1rIGvpu7cTEMxZ86yRDfbPmHfJKJ?= =?us-ascii?q?4hLlTOuRLjZ4hG5leLKinBm+61Svyur5VsSyzV1ErTJFn8HSunwR0xHf8MuKR/?= =?us-ascii?q?tn8ku82DuDyxrf5vxGLEwok6fQNoQvzaQqlpUJtETOBi/2l1vyjK+Rbkgk//Kn?= =?us-ascii?q?6+XjYrn/v5+cK5J4hhjwMqgzmMGzHf40MgcJX2ic9uS80KPs8VflT7VNi/06iq?= =?us-ascii?q?jZsJbEKsQHvqO1HRNZ34I55xu8DzqqyskUkHgbIF5fZR6KjZTlN0nLIP/iDPe/?= =?us-ascii?q?h1qskC1sx/DDJrDhDY/CIWPZkLfgY7l971RQyBEvwtBf+Z1UEK8OIOjoV0/+sd?= =?us-ascii?q?zXFB45Mwiuz+n7D9V905sSWXiTDa+BLKPSrViI6/ozLOaWYY8VvC/xK/wk5/71?= =?us-ascii?q?kX80gkQdfKms3ZsPcn+0BPVmI0ODYXrtmNgNC2kKvhBtBNDt3X6PVz9YZ3f6dr?= =?us-ascii?q?k153lvAZmvDK/CXcaqi7yImi6wWJ9OMDNoEFeJRFjhfZ+FVvNEUymSL9VsiHRQ?= =?us-ascii?q?WrGrUY4s0Ve1vw/30bd9BuXR8ywc85nk0Y4mtKXoiRgu+GksXIym2GaXQjQxxz?= =?us-ascii?q?tQHm5k7OVEuUV4j2y7/+19iv1cG8ZU4qoQAAg/PJ/Yied9DoKrA1+TTpKyUF+j?= =?us-ascii?q?B+6eL3QxQ9Y2mYFcZk98H5C7kkmG0XP1W/kakLuEAJFy+aXZjSCoe5RNjk3e3a?= =?us-ascii?q?xktGEIB9NVPDT/1KF6/gnXQYXOlhfBmg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BgAACusa1chqqgVdFlDg4BAQEEAQEHB?= =?us-ascii?q?AEBgVQEAQELAYJ4UDMnhA6BHYJejzeCDYo8jh6BZxAjhEkChWYaBwEEMwYNAQE?= =?us-ascii?q?DAQEJAQIBAQEBEwEBAQgLCwgbDiMMgjopAYJnAQQBIx0BGx0BAwELBgUEBzcCA?= =?us-ascii?q?iIBEQEFARwGE4MiAYFcAQMNCA+gbjyJXRqBJoESBQEXgnoFgTIBgwgKGScNX4E?= =?us-ascii?q?4AgEFEoEeAYtGgVc/g3UuPoJhAoEpZYJdglcDpgYHAoJPBIUxjAAaggaGFoxDk?= =?us-ascii?q?FyBGY10DyGBRIF4MxojUDGCO4IKDA4Jg0yKGD1AMJBtAQE?= X-IPAS-Result: =?us-ascii?q?A0BgAACusa1chqqgVdFlDg4BAQEEAQEHBAEBgVQEAQELAYJ?= =?us-ascii?q?4UDMnhA6BHYJejzeCDYo8jh6BZxAjhEkChWYaBwEEMwYNAQEDAQEJAQIBAQEBE?= =?us-ascii?q?wEBAQgLCwgbDiMMgjopAYJnAQQBIx0BGx0BAwELBgUEBzcCAiIBEQEFARwGE4M?= =?us-ascii?q?iAYFcAQMNCA+gbjyJXRqBJoESBQEXgnoFgTIBgwgKGScNX4E4AgEFEoEeAYtGg?= =?us-ascii?q?Vc/g3UuPoJhAoEpZYJdglcDpgYHAoJPBIUxjAAaggaGFoxDkFyBGY10DyGBRIF?= =?us-ascii?q?4MxojUDGCO4IKDA4Jg0yKGD1AMJBtAQE?= X-IronPort-AV: E=Sophos;i="5.60,332,1549926000"; d="scan'208,217";a="377991469" X-MGA-submission: =?us-ascii?q?MDFL1nMg+HYcQNTjyKC/qCwA2PQ1RrJj+mFujl?= =?us-ascii?q?+ROkyxOgno0cm7UoZKEBFn1LrAfoTuLXwGshTGTk2qBz0AsNKI7WQ4WB?= =?us-ascii?q?ftb/uv1wvwBcrW8X0iuEbKfr+sb+w3dawl2HgyX5oqva8i8KZN0/EJvX?= =?us-ascii?q?mJK4pqCBS5Ccuh85ZTaRjhlw=3D=3D?= Received: from mail-qt1-f170.google.com ([209.85.160.170]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 10 Apr 2019 11:08:24 +0200 Received: by mail-qt1-f170.google.com with SMTP id z16so1977225qtn.4 for ; Wed, 10 Apr 2019 02:08:24 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=ewvYNhrFOhFdcJdLrcyO7kbcVEoA5Q/ki00uPWKcHn0=; b=WPkLxGkL3uZYxzH7CmV/uupADD+bsHaodtuuiJtIwM5y5ffJ0mYjl01tdkMLt4cTj8 KZKLaQTnQZyAxJD7kZFkR3QLNZEeOeAVYoRn9jUGQuu1foKYTG/Dtk41y4HvGyq183N6 Po/DTnCrP6l4rraL5c0W4zdbsMwuY+o8OlsEk0FNc6r8KQFN2Is3wN18g5yu4PUwHAm1 /XbOpXBcPT7mwg1bsloirFOK8AQSESwDaQhKb7iFtg1xTcAeiMXLDupXMf1IhR8GUgIO qGz7pagqIn6lzxK1Eox/yqWNIiTVAFr8zflx2bIed4bCfukj6Zs+xf8z1IHZ04pCzatc x4wg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=ewvYNhrFOhFdcJdLrcyO7kbcVEoA5Q/ki00uPWKcHn0=; b=eCKFxvD3dfmTkoCS3m/Ou06kc4tWzGMkRwRiymLUked5fWsUgef/WMnSACCsP6C5kZ VnMcRIkfbRM1nVsGpjvI6vlAdey/EOLrfvOPx4MPKwZjh274xPdE5qey7bySR37v7XRz Qt6K64KzJlD9X9hwN956NOK1u+DXofEYohwvVQFxfZHYCI5hNKlOGYRsEC901MSWQauc eV/Yvvy1wx2Qc8XSQSD4leVXtwqwKAfRLhaDCej+rZCyE0NDG13lqz21fn86JASYL8Kr PSopZYdI+mb5zE/dZyzJ8vaJ6TOXztIAf7TddASqKjco6fSNdkjHmOg8Ekr1XiRUDN1S ZCOQ== X-Gm-Message-State: APjAAAUI6X/BFMVIZ9w0hCLndkdszy2ZqhZqZnIkf5+pLEqbe83YuVV0 yD0i1xuMisvoXr+D6GlyLaG+AyJZ2rwsXme6ycrLTsNF X-Google-Smtp-Source: APXvYqxp/v1JUWJFXZf9UIxlUTcPeN743AyczdC8YQK99vRdS9MIUsOal4NA0Q7HnndEZ66dodCkopZtDcojTvU+XhQ= X-Received: by 2002:ac8:2d8d:: with SMTP id p13mr35517695qta.316.1554887304004; Wed, 10 Apr 2019 02:08:24 -0700 (PDT) MIME-Version: 1.0 References: <20190410003501.GA68405@pllab.is.ocha.ac.jp> In-Reply-To: <20190410003501.GA68405@pllab.is.ocha.ac.jp> From: Gabriel Scherer Date: Wed, 10 Apr 2019 11:07:54 +0200 Message-ID: To: Kenichi Asai Cc: caml users Content-Type: multipart/alternative; boundary="0000000000006bc937058629691e" Subject: Re: [Caml-list] Local switch using opam 2 --0000000000006bc937058629691e Content-Type: text/plain; charset="UTF-8" Dear Kenichi, 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. On Wed, Apr 10, 2019 at 2:35 AM Kenichi Asai wrote: > I want to create a local switch for a particular version of OCaml > with my own patch applied using opam 2. For opam 1.2.2, I did the > following rather low-level thing: > > - create a directory: ~/.opam/compilers/4.04.0/4.04.0+my-ocaml > - place two files in this directory: > 4.04.0+type-debugger.comp, containing where opam can find my own patch > 4.04.0+type-debugger.descr, with a description of the compiler > - add an entry to ~/.opam/repo/compiler-index: > 4.04.0+my-ocaml default 4.04.0/4.04.0+my-ocaml > > and then execute opam switch 4.04.0+my-ocaml. Can I do the similar > thing in opam 2? Thank you in advance for any info. > > -- > Kenichi Asai > --0000000000006bc937058629691e Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear Kenichi,

Our short-term plan is to merge opam file in the OCaml compiler distribu= tion so that "opam pin ." or "opam install ." or "= opam switch create ." works as for any other opam packages. There is a= n 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 propo= sed and use it locally.

On Wed, Apr 10, 2019 at 2:35 AM Keni= chi Asai <asai@is.ocha.ac.jp&g= t; wrote:
I want= to create a local switch for a particular version of OCaml
with my own patch applied using opam 2.=C2=A0 For opam 1.2.2, I did the
following rather low-level thing:

- create a directory: ~/.opam/compilers/4.04.0/4.04.0+my-ocaml
- place two files in this directory:
=C2=A0 4.04.0+type-debugger.comp, containing where opam can find my own pat= ch
=C2=A0 4.04.0+type-debugger.descr, with a description of the compiler
- add an entry to ~/.opam/repo/compiler-index:
=C2=A0 4.04.0+my-ocaml default 4.04.0/4.04.0+my-ocaml

and then execute opam switch 4.04.0+my-ocaml.=C2=A0 Can I do the similar
thing in opam 2?=C2=A0 Thank you in advance for any info.

--
Kenichi Asai
--0000000000006bc937058629691e--