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 245777F61F for ; Tue, 8 Jan 2019 00:25:01 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=garrigue@math.nagoya-u.ac.jp; spf=Pass smtp.mailfrom=jacques.garrigue@gmail.com; spf=None smtp.helo=postmaster@mail-qk1-f175.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of garrigue@math.nagoya-u.ac.jp) identity=pra; client-ip=209.85.222.175; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jacques.garrigue@gmail.com"; x-sender="garrigue@math.nagoya-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of jacques.garrigue@gmail.com designates 209.85.222.175 as permitted sender) identity=mailfrom; client-ip=209.85.222.175; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jacques.garrigue@gmail.com"; x-sender="jacques.garrigue@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-qk1-f175.google.com) identity=helo; client-ip=209.85.222.175; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jacques.garrigue@gmail.com"; x-sender="postmaster@mail-qk1-f175.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A/zv9Ah1fX7fWFhJUsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seMTLPad9pjvdHbS+e9qxAeQG9mDu7Qc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q99pHPYAhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7Vq4/Vyi84Kh3SR/okC?= =?us-ascii?q?YHOCA/8GHLkcx7kaZXrAu8qxBj34LYZYeYP+d8cKzAZ9MXXWVOXshTWCJBDI2y?= =?us-ascii?q?bJYBAfQdMutDtYbxu0EDoAGiCQWwBu7izCJDiH/s3a091uQsCQXI0xY8ENIXrX?= =?us-ascii?q?Tbss71P7oTX++v1qnI1zTDb/xL2Tjj9YPFdR8hruuWXbJqcMrRxlQvGB3eg1WV?= =?us-ascii?q?s4PlIzOV2v4Ls2eB4OpgUuKuhHQ+pwFsuDSg3NsjhpPLhoIN013J8zhyzogyJd?= =?us-ascii?q?29UkF7YNikHYNXty6GLYR2R8ciT3tvuCYgxb0KoZ+7fC4QyJQm3RHTcfKHc5KQ?= =?us-ascii?q?7hLsVeaRPTd4hG9+d76lmxmy9k2gx+vhXce3yFZHtjRJnsXIu3wX1BHe6tKLRu?= =?us-ascii?q?Vj8ku/wzqDygLe5+FCLEspj6TUMYQhzaQ1lpcLsUTMACv2mELuga+TbEok++yo?= =?us-ascii?q?5/3+YrXlu5OQLoF0hhz8P6kugMC/DuM4Mg8BX2if5+uwzqHs/Ur8QLlSj/02lL?= =?us-ascii?q?fWsIzCKMgFuqK0BxVZ34Uj5hqlETuqzsoUkWMaIF9HeB+Ll43pNEvPIPD8A/e/?= =?us-ascii?q?mVOskDJzyvDEJLLuHozNLmXdn7f6Z7p95FRTyBApzdBe6JJUF68OLen8Wk/0rt?= =?us-ascii?q?PYDxs5PxaozObgDdVxzpkeVn6XAq+FLKPStkeF6f41LOmJYI8ZoTL9K/k+5/7y?= =?us-ascii?q?lnI5gl8cfayx3ZQNcny4H/JmI1+YYXX2mNsBH30KtBIkTOP2kF2CTSJTZ3GqUq?= =?us-ascii?q?In5jE7CYSmAprdSYC3nrOMxya6HpxTZm9dEFCDC23kd4SCW/cWaSKdONVtkjIe?= =?us-ascii?q?Vevpd4h0+RiotQL+/JDzKPjQ+2VMuZvl1dVxoefOmBcg8T1cAt6H2n2MVnx52G?= =?us-ascii?q?gIEWwYxqd69G50wU6e3LMwrPVCD91c+v4BBggzL4TdwPF3I9X7RgKHeN6GT0ev?= =?us-ascii?q?B8jgCDp3TMpnkIxGWFp0B9j31kOL5CGtGbJA0uXTXMVloJKZ5GD4IoNG81iD0a?= =?us-ascii?q?Agi1c8Rc4WbD+pg6d+807YAIubyhzFxZbvTrwV2Wv2zEnG1XCH5hgKVQdsUePD?= =?us-ascii?q?VH8Yd0KTsJLw7QXAV+32UOl1Ak560ceHb5ByRJjpgFFBHqmxPd3fZyeomD71C0?= =?us-ascii?q?/Xm/WDa43lf2hb1yLYWhAJ?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AQAQBp3jNcgK/eVdFjHAEBAQQBAQcEA?= =?us-ascii?q?QGBZYJqTzMng3+BHZJogg2Zawwjhk8aBwEENBIBAwEBAgEBAQEBEwEBCQ0JCCc?= =?us-ascii?q?lDII6KQGCZgEBBAEjSwsFCwkCBAcNDR0CAiISAQUBHAYTgyIBgXkID4s/kAg8i?= =?us-ascii?q?xmBL4hAH4FTEowtF4F/hCODHgKBOYMwglcChzkHiSiQdAmHFIZChBsYgWBNj0K?= =?us-ascii?q?KaYN+i0cPIYETKYF3TTg7MQaCNQmGAIE+g1aFTjMwAYhEgj4BAQ?= X-IPAS-Result: =?us-ascii?q?A0AQAQBp3jNcgK/eVdFjHAEBAQQBAQcEAQGBZYJqTzMng3+?= =?us-ascii?q?BHZJogg2Zawwjhk8aBwEENBIBAwEBAgEBAQEBEwEBCQ0JCCclDII6KQGCZgEBB?= =?us-ascii?q?AEjSwsFCwkCBAcNDR0CAiISAQUBHAYTgyIBgXkID4s/kAg8ixmBL4hAH4FTEow?= =?us-ascii?q?tF4F/hCODHgKBOYMwglcChzkHiSiQdAmHFIZChBsYgWBNj0KKaYN+i0cPIYETK?= =?us-ascii?q?YF3TTg7MQaCNQmGAIE+g1aFTjMwAYhEgj4BAQ?= X-IronPort-AV: E=Sophos;i="5.56,451,1539640800"; d="scan'208,217";a="362911634" Received: from mail-qk1-f175.google.com ([209.85.222.175]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 08 Jan 2019 00:24:59 +0100 Received: by mail-qk1-f175.google.com with SMTP id a1so1326289qkc.5; Mon, 07 Jan 2019 15:24:59 -0800 (PST) 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=eUp2URuV4XM0+Ip/2L6ihYRe67YOyMhG9JZijEJs3BA=; b=f1bIeDhDbSApVl3x8Ke7fawuSBIzWIpTF41R4alF6t1kPEspavk15D6q1K0oqw80sw TfC6tf9yhdenvpzboFrc+2Q4nQweXMcWzqUXK8gPYD70WSJKrVxXZzGJadCAuACKExoZ N0OyaWyjZQxkddxv6uV9jmtRt+mjZiW9x6AX6qJCsXuVimHKfbEnCMlm4BYy2QqMjPlY htjvVBxSIHTLyTl8k9TUTBF6RS1aQ4nWDUHaTc4DViFZVn9WextfKIyuoVDWszaDJYEF 47ApAyvuIOGLrUnvWk5uVyoWhqYEIZ9vGRmQojNGzMadqBQHKBQIIbj79GSllu+RPJqe kUoQ== X-Gm-Message-State: AJcUukesxnAo2S6jveAPZX7ZBmYCdvGeVnP8WocXX3WdwE3GDWbG0WMD 4jU6n3Ryjjs0CRtBXU62vFDySBf52kkaEysaanB/eA== X-Google-Smtp-Source: ALg8bN5ekmpVaVBi6/bR56T9NXgl2TNNY4IYnnL7wndFN5a07dYCXB7y/AZfXK4TMR9lwRGLYPLZXEgDHA7a5eR8f80= X-Received: by 2002:a37:bf81:: with SMTP id p123mr23294165qkf.125.1546903498333; Mon, 07 Jan 2019 15:24:58 -0800 (PST) MIME-Version: 1.0 References: <20190107081212.GA5227@prajna.paris.inria.fr> <20190107092510.GA5550@prajna.paris.inria.fr> In-Reply-To: From: Jacques Garrigue Date: Tue, 8 Jan 2019 08:24:48 +0900 Message-ID: To: =?UTF-8?Q?Daniel_B=C3=BCnzli?= Cc: Mailing List OCaml , =?UTF-8?Q?S=C3=A9bastien_Hinderer?= Content-Type: multipart/alternative; boundary="000000000000852344057ee68950" Subject: Re: [Caml-list] Opam: using both 1.2 and 2.0 --000000000000852344057ee68950 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Actually I'm always using those binaries. It's simpler than going through another package manager which may be late to update, and you just have to install one file in your path. Jacques 2019=E5=B9=B41=E6=9C=887=E6=97=A5(=E6=9C=88) 18:52=E3=80=81Daniel B=C3=BCnz= li =E3=81=95=E3=82=93=EF=BC=88daniel.buenzli@erratique.ch=EF=BC=89=E3=81=AE= =E3=83=A1=E3=83=83=E3=82=BB=E3=83=BC=E3=82=B8: > On 7 January 2019 at 10:25:10, S=C3=A9bastien Hinderer ( > sebastien.hinderer@inria.fr) wrote: > > > Will try that! Thanks! But still have to figure out how to install opam > > 1 I guess, because it will probably not be possible to install it > > through the distribution's package manager. > > opam dev's are kind enough to provide you with a selection of binaries > here: > > https://github.com/ocaml/opam/releases/tag/1.2.2 > > I never tried them though. Otherwise given an OCaml install, compiling > from the tarball should be easy has never been a problem since it's > self-contained. > > Best, > > Daniel > > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > https://inbox.ocaml.org/caml-list > Forum: https://discuss.ocaml.org/ > Bug reports: http://caml.inria.fr/bin/caml-bugs --000000000000852344057ee68950 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Actually I'm always using those binaries.
It's simpler than going through another package manager which may= be late to update, and you just have to install one file in your path.

Jacques

2019=E5=B9=B41=E6=9C=887=E6=97=A5(= =E6=9C=88) 18:52=E3=80=81Daniel B=C3=BCnzli =E3=81=95=E3=82=93=EF=BC=88daniel.buenzli@erratique.ch= =EF=BC=89=E3=81=AE=E3=83=A1=E3=83=83=E3=82=BB=E3=83=BC=E3=82=B8:
<= blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px= #ccc solid;padding-left:1ex">On 7 January 2019 at 10:25:10, S=C3=A9bastien= Hinderer (sebastien.hinderer@inria.fr) wrote:

> Will try that! Thanks! But still have to figure out how to install opa= m
> 1 I guess, because it will probably not be possible to install it
> through the distribution's package manager.

opam dev's are kind enough to provide you with a selection of binaries = here:=C2=A0

=C2=A0=C2=A0https://github.com/ocaml/opam= /releases/tag/1.2.2

I never tried them though. Otherwise given an OCaml install, compiling from= the tarball should be easy has never been a problem since it's self-co= ntained.

Best,

Daniel



--
Caml-list mailing list.=C2=A0 Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list = https://inbox.ocaml.org/caml-list
Forum: https://discuss.ocaml.org/
Bug reports: http://caml.inria.fr/bin/caml-bugs
--000000000000852344057ee68950--