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 ESMTPS id E92525D5 for ; Thu, 30 May 2019 00:45:45 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,529,1549926000"; d="scan'208,217";a="385310198" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 30 May 2019 02:45:44 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id A3F80824A7; Thu, 30 May 2019 02:45:44 +0200 (CEST) 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 CA81B7ED69 for ; Thu, 30 May 2019 02:45:39 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=hugo.heuzard@gmail.com; spf=Pass smtp.mailfrom=hugo.heuzard@gmail.com; spf=None smtp.helo=postmaster@mail-ua1-f52.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AergWaxFkBfCrDHm/Y+s7e51GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ78oc2wAkXT6L1XgUPTWs2DsrQY0rOQ6vqwEjddqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba5vIBmssAndqMobjYRsJ6sx1xDEvmZGd+?= =?us-ascii?q?NKyG1yOFmdhQz85sC+/J5i9yRfpfcs/NNeXKv5Yqo1U6VWACwpPG4p6sLrswLD?= =?us-ascii?q?TRaU6XsHTmoWiBtIDBPb4xz8Q5z8rzH1tut52CmdIM32UbU5Uims4qt3VBPljj?= =?us-ascii?q?oMOiUn+2/LlMN/kKNboAqgpxNhxY7UfJqVP+d6cq/EYN8WWXZNUsNXWidcAI2z?= =?us-ascii?q?cpEPAvIOMuZWrYbzp1UAoxijCweyGOzi0SVHimPs0KAgz+gtDQPL0Qo9FNwOqn?= =?us-ascii?q?TUq9D1Ob8SUeCow6nIyijIYvRW2Tfg54jIdQotofGSUrJtcMve01MvGB7eg1Wf?= =?us-ascii?q?rIzqJTKV1uAXv2eH6OpgUPuihmg6oA9yujii3tkghpXNi44PyV3J9T91zJgrKd?= =?us-ascii?q?GmUkJ2YcCoHZ1NvC+ALYR2WNktQ2RwtSY61LIGvZm7cTAPyJs9xh7fb+WLc5WS?= =?us-ascii?q?7R7+TeqRLzd1iGx/dLKwgBay9kegyuniWcWuzFlKqS9FnsHNtnALyRPT9tCKRu?= =?us-ascii?q?Vh8kqlwzqC1ADe5vtaLUwqi6bXMZ4szqAompoWq0vDHyv2mEvsjK+Rc0Up4uio?= =?us-ascii?q?6/noYrXhvJOcN5F7ihz/M6s0gMywHP81MgcLX2eB+OS80Kfv8lH+QLVPlvE2iL?= =?us-ascii?q?XWsIjGJcQHoa60GxNa3Zwm6xa7Fjum1NUYnWIbLF9eYxKGj43pO0nUL/ziDPe/?= =?us-ascii?q?hU6skDZxyPzcML3hGMaFEn+Wqarofrtno3dByQEwytlD/NoAE6wII//pQ1Lwv9?= =?us-ascii?q?/fBwMiGwOxyufjTt5609VNd3iIB/qZLazV+QuI++0oZemBeZ0cojrVJP0s5vqo?= =?us-ascii?q?hng8zwxONZK11IcaPSjrVs9tJF+UND+12o9YTTU6+zEmRemvs2WsFCZJbi/rDa?= =?us-ascii?q?057zA/TomhCNWbH9H/sPm6xC6+W6ZuSCVDA1GIH23vctzdCfgJYSOWZMRml25d?= =?us-ascii?q?DOXze8oazRir8TTC5f9nI+7ToHBKsJvi0J1o7rSWm0xoszNzCMuZ3ieGSGQmxm?= =?us-ascii?q?4=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ASBQDvJu9chzTeVdFlHAEBAQQBAQcEA?= =?us-ascii?q?QGBZYN+FBSEFIEdgl6RF4lTiQmHegkBAwEMLwEBhEACgnUbBwEENBMBAwEBBAE?= =?us-ascii?q?BAgEBAwETAQEBCA0JCCkjDII6KQGCZgEBAQMBIx0BGx0BAwELBgMCBAcNKgICI?= =?us-ascii?q?QEBEQEFARwGE4MigWoBAw4PjhiQDjyLIIESBQEXgnoFhDkKGScNYIE6AgcSgSK?= =?us-ascii?q?LVIIWgRGCZC4+ghqFNIJYBIt2iCmUAz4HAoIPgWUBjVSDZRuCH5Q0LY1whzmNO?= =?us-ascii?q?Q8hgUWBeXBQMYI7gg8ag1aKYDUwji0BAQ?= X-IPAS-Result: =?us-ascii?q?A0ASBQDvJu9chzTeVdFlHAEBAQQBAQcEAQGBZYN+FBSEFIE?= =?us-ascii?q?dgl6RF4lTiQmHegkBAwEMLwEBhEACgnUbBwEENBMBAwEBBAEBAgEBAwETAQEBC?= =?us-ascii?q?A0JCCkjDII6KQGCZgEBAQMBIx0BGx0BAwELBgMCBAcNKgICIQEBEQEFARwGE4M?= =?us-ascii?q?igWoBAw4PjhiQDjyLIIESBQEXgnoFhDkKGScNYIE6AgcSgSKLVIIWgRGCZC4+g?= =?us-ascii?q?hqFNIJYBIt2iCmUAz4HAoIPgWUBjVSDZRuCH5Q0LY1whzmNOQ8hgUWBeXBQMYI?= =?us-ascii?q?7gg8ag1aKYDUwji0BAQ?= X-IronPort-AV: E=Sophos;i="5.60,529,1549926000"; d="scan'208,217";a="385310172" X-MGA-submission: =?us-ascii?q?MDE29QzySPVFHtZpqmlp+owlAP4d9SAFAmxxQH?= =?us-ascii?q?VucjUg3EL61TgBP7HhT4t9l2Etmfu+xxzmPTmOXaKmeu/B2FWrVhrlu1?= =?us-ascii?q?4U+IkYbQgqxzRJuomZ8CnRVkkAe2nWJUurmkXUVwoHi6gX8n48bA58l6?= =?us-ascii?q?0P5dbmyeSLxUhB7h1KPyKTAQ=3D=3D?= Received: from mail-ua1-f52.google.com ([209.85.222.52]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 30 May 2019 02:45:38 +0200 Received: by mail-ua1-f52.google.com with SMTP id 7so1843525uah.1 for ; Wed, 29 May 2019 17:45:38 -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=vLVA4Kel7ljWWzVbgK9byt3HFm7Wcr7ItKu8ZNjEZkc=; b=tWVPoEFT1v1k3Uo9DJ7n2nuFCOW0QoUPVOZi/Ol96nvi0us1G3tK3UqT4Az44neFhK 6ca1IKl2Dp/8QhLz+N75S9NAij8CYJpgKFJ0+nGc22p79OFkTCsZfGXL3aVBxbV2+LhY qA+VEW+0Mv3oHgg1D3jbUDSKiCGPQGPzLM4CULFj613TNBOMOEETBTw2tYCtymP3CVpx s7SuXGhuM2ZdUzhAalXIkx94n5+dG94HEtBn4Ie0TbhWtQSYu3WchWhptDrGMbi5g5gC j9n/qlJKNXPxq9sQYqkdNV7/DV6wXgREapUG15JZ7xInQp47lGCPfRSOZ/rGGQDneJPQ VeRQ== 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=vLVA4Kel7ljWWzVbgK9byt3HFm7Wcr7ItKu8ZNjEZkc=; b=VlzM/DlBh+130/gXlADWmoJGstNKmK6iX9p+vOeoTZ+LfhnWtezwNO5uWxpLfgQLp2 X6+P10vYu+ebJKyEtPev7sQkrg6unEqNNsq/YoHDs+HnPXJkyqXaKvTjteRTHoh0oYvi IuLfxExX7tcfKTDnXQet7MFv+T8lD4wgIFmooIcyR1ifcwieDySonO302qN1git8oJ4V 8sF2daQOmdnZ2RPMx5e6rjiuMHxsQqWJwn0pi7M1jNXBHLMFhBTTE3Ync9uCSX3ZzpKD n/8C7g29+7DbQIZwdigIkfsrxbIUC4vd+Ynx6ru46TkhOO2z8iwO1+TP49MUJvaT6M/i xvkg== X-Gm-Message-State: APjAAAWblLf7c8oLwWsdEfaNsnxO6QgtDukbCmtvfre5i6S/JQ+2vyrE VaUKtmkfW9ts0y1kD82HdXvrZqugAmMuG9YpxLk= X-Google-Smtp-Source: APXvYqyKY7Y6OfA+gZ5N2hk2A2ApZ5cMR6QaAM5+5tWwEQ0cnJQfYr7aUxWHdvknnF8JYk8xGk+l8ZotjdqjVeTl+NI= X-Received: by 2002:a9f:2c90:: with SMTP id w16mr347035uaj.103.1559177137687; Wed, 29 May 2019 17:45:37 -0700 (PDT) MIME-Version: 1.0 References: <20190529003950.GA78811@pllab.is.ocha.ac.jp> In-Reply-To: From: hugo Date: Thu, 30 May 2019 08:45:27 +0800 Message-ID: To: Quaker Quickoats Cc: Kenichi Asai , caml-list@inria.fr Content-Type: multipart/alternative; boundary="0000000000006f0fc6058a103777" Subject: Re: [Caml-list] How can I use a library in a toplevel created by js_of_ocaml? Reply-To: hugo X-Loop: caml-list@inria.fr X-Sequence: 17592 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: --0000000000006f0fc6058a103777 Content-Type: text/plain; charset="UTF-8" We are missing some constraints in opam. js_of_ocaml-toplevel.3.4.0 requires js_of_ocaml-compiler.3.4.0 but you have version 3.3.0 installed. > [NOTE] Package js_of_ocaml-compiler is already installed (current version is 3.3.0). try to upgrade your packages On Thu, May 30, 2019 at 4:28 AM Quaker Quickoats wrote: > okay, not sure, still cannot install js_of_ocaml-toplevel with the same > error after opam full update > > On Tue, 28 May 2019 at 20:40, Kenichi Asai wrote: > >> Thanks for the e-mail. Yes, you need js_of_ocaml-toplevel and some >> other js_of_ocaml packages. I also installed them with opam 2.0.4: >> >> > js_of_ocaml 3.4.0 >> > js_of_ocaml-compiler 3.4.0 >> > js_of_ocaml-ppx 3.4.0 >> > js_of_ocaml-toplevel 3.4.0 >> >> On MacOS, I had no problem installing them... >> >> -- >> Kenichi Asai >> > --0000000000006f0fc6058a103777 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
We are missing some constraints in opam.

js_of_ocaml-toplevel.3.4.0 requires js_of_ocaml-compiler.3.4.0 but you ha= ve version 3.3.0 installed.

> [NOTE] Package js= _of_ocaml-compiler is already installed (current version is 3.3.0).

try to upgrade your packages

On Thu, May 30, 201= 9 at 4:28 AM Quaker Quickoats <quakerquickoats@gmail.com> wrote:
okay, not sure, still cannot = install js_of_ocaml-toplevel with the same error after opam full update
=

= On Tue, 28 May 2019 at 20:40, Kenichi Asai <asai@is.ocha.ac.jp> wrote:
Thanks for the e-mail.=C2=A0 = Yes, you need js_of_ocaml-toplevel and some
other js_of_ocaml packages.=C2=A0 I also installed them with opam 2.0.4:
> js_of_ocaml=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A03.4.0
> js_of_ocaml-compiler=C2=A0 =C2=A0 3.4.0
> js_of_ocaml-ppx=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A03.4.0
> js_of_ocaml-toplevel=C2=A0 =C2=A0 3.4.0

On MacOS, I had no problem installing them...

--
Kenichi Asai
--0000000000006f0fc6058a103777--