From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 642F07ED69 for ; Wed, 29 May 2019 22:27:31 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=quakerquickoats@gmail.com; spf=Pass smtp.mailfrom=quakerquickoats@gmail.com; spf=None smtp.helo=postmaster@mail-vs1-f42.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of quakerquickoats@gmail.com) identity=pra; client-ip=209.85.217.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="quakerquickoats@gmail.com"; x-sender="quakerquickoats@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of quakerquickoats@gmail.com designates 209.85.217.42 as permitted sender) identity=mailfrom; client-ip=209.85.217.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="quakerquickoats@gmail.com"; x-sender="quakerquickoats@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-vs1-f42.google.com) identity=helo; client-ip=209.85.217.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="quakerquickoats@gmail.com"; x-sender="postmaster@mail-vs1-f42.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AfrV4kB8g3sglPv9uRHKM819IXTAuvvDOBiVQ1KB3?= =?us-ascii?q?0e4cTK2v8tzYMVDF4r011RmVBNydsqgbwLOK4ujJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglVmTaxe65+IAu0oAneq8Ubjo9vIbstxxXUpXdFZ/?= =?us-ascii?q?5Yzn5yK1KJmBb86Maw/Jp9/ClVpvks6c1OX7jkcqohVbBXAygoPG4z5M3wqBnM?= =?us-ascii?q?VhCP6WcGUmUXiRVHHQ7I5wznU5jrsyv6su192DSGPcDzULs5Vyiu47ttRRT1ky?= =?us-ascii?q?oMKSI3/3/LhcxxlKJboQyupxpjw47PfYqZMONycr7Bcd8GQGZMWNtaWS5cDYOm?= =?us-ascii?q?d4YAAOQBMuRYoYfzpFUAsAWwChW3Cez11jNFnGX70bEm3+kjFwzNwQwuH8gJsH?= =?us-ascii?q?TRtNj7L7oSXvq2zKbW1zXIcuhY2Sr86IfUcRAhpuuDXa5rccHMzkQvDh7FgU+T?= =?us-ascii?q?qYP7JTOVz/kNs2mH4OpjUuKgkXInqxpqrzigw8cjkIjJhoYPxl/Y8iV5xZ84KN?= =?us-ascii?q?ulQ0B4ed6pCIVcuz2eOodsQc4vQ3tktDgnxrAEo5K2czYGxZI6zBDFcfOHaZKH?= =?us-ascii?q?4hf7WeaRPzh4gHVldaq6hxmo8EigzvTwVtev0FpXtyZFnNbBum4X2xzc7ciHTf?= =?us-ascii?q?R9/kO/1jqVyw/T7eRELVg1lardNZEh3qY9moQPvUnHBCP7m0X7gLWIekk5+OWk?= =?us-ascii?q?8evqbqv+qp+ZLYB0iwX+Mqo0msy4BOQ1KhEOX3WB9uS/yrLj51T5QKhLjvIqka?= =?us-ascii?q?nZt4rVJdgApqOiDA9V15ws6xe7Dzu8zNsYmnwHIEpfeB2bl4jpJ03OIPfgAPij?= =?us-ascii?q?mVuslTNry+nCPr3gGZXNMmPOkKzhfLZ4805T0hA/zdFZ55JOC7EOOuj/WkHrtI?= =?us-ascii?q?+QMhhsEAGywu3nCZ1UzYofETaGGaaYGKLJ91iD5utpKuLKZpdD/H72Iv0hovrv?= =?us-ascii?q?lmMRmFkHfKDv04FERmq/G6FfPkyabGCku8oAGmQNtxYlBLjzlVSBXCRKene5XK?= =?us-ascii?q?U1+ioTB4evDIOFTYeo1u/SlBynF4FbMzgVQmuHFm3lIsDdA69VOXCiZ/R5mzlB?= =?us-ascii?q?boCPDooo1BWgrgj/kuM1Ie/d+ylevpXmhoEsu7/j0Coq/DkxNPyzlnmXRjgtzG?= =?us-ascii?q?wNTj4ymqt4pB4lkwrR4e1Dm/VdUOdrybZJXwM9b8OOyuV7D5XsQVuEcIvTDlmh?= =?us-ascii?q?RdqiDHc6Sddjm9I=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C/CQBZ6u5chirZVdFlDg4BAQEEAQEHB?= =?us-ascii?q?AEBgWUCgjaBEzMohBOBHYJekRaJU3SEZIMxhgCBegkBAwEMLwEBhEACgnUbBwE?= =?us-ascii?q?ENgQNAQMBAQQBAQIBAQMBEwEBAQgLCwgpIwyCOikBgl0KAQICASMdARseAwELB?= =?us-ascii?q?gMCAwEHNwICIgERAQUBHAYBEoMigWoBAw4Pji+QDjyLIIEJCQUBF4J6BYQ6Chk?= =?us-ascii?q?nDV0DgToCBxKBIgGLUxeBQD+DdS4+h06CWASoYAmCD16BNZEMG4IflDQtjEiBK?= =?us-ascii?q?JRyDyGBSAaBcE0jUDGCO4IPGoNWihhXJjCOTAEB?= X-IPAS-Result: =?us-ascii?q?A0C/CQBZ6u5chirZVdFlDg4BAQEEAQEHBAEBgWUCgjaBEzM?= =?us-ascii?q?ohBOBHYJekRaJU3SEZIMxhgCBegkBAwEMLwEBhEACgnUbBwEENgQNAQMBAQQBA?= =?us-ascii?q?QIBAQMBEwEBAQgLCwgpIwyCOikBgl0KAQICASMdARseAwELBgMCAwEHNwICIgE?= =?us-ascii?q?RAQUBHAYBEoMigWoBAw4Pji+QDjyLIIEJCQUBF4J6BYQ6ChknDV0DgToCBxKBI?= =?us-ascii?q?gGLUxeBQD+DdS4+h06CWASoYAmCD16BNZEMG4IflDQtjEiBKJRyDyGBSAaBcE0?= =?us-ascii?q?jUDGCO4IPGoNWihhXJjCOTAEB?= X-IronPort-AV: E=Sophos;i="5.60,527,1549926000"; d="scan'208,217";a="307633657" X-MGA-submission: =?us-ascii?q?MDEB3PK0tAGe2/TT2TzrU42phfXwexcy0d4kBz?= =?us-ascii?q?VQmTRhrUcjftY/p7Ki25UZaXL1f49mqocIFXrxHf1qoIjLLeyDfgZMGc?= =?us-ascii?q?H8ke5m37ja75jB5uu0so/y1f1M6A1vWQu039Z5LtAl9DwaUp2Qwc7XdG?= =?us-ascii?q?TC9q6d9b+HcqjF9pSTVoCJsQ=3D=3D?= Received: from mail-vs1-f42.google.com ([209.85.217.42]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 29 May 2019 22:27:30 +0200 Received: by mail-vs1-f42.google.com with SMTP id d128so2877732vsc.10 for ; Wed, 29 May 2019 13:27:30 -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; bh=RNo/bps/tsb1RUowEXsHGzV71FWNiYl8l9AXr0D72E0=; b=LFtBD3JH8TUJoOAJ0l/rpMIp51f4SIKHsjSNCv2Ie9wX7pimz5MF9ZMGhBEIaYt3z9 05UU8hvZotSp6m2GXT+bv3tqkPOnByOGo4ZskKI9qMkuGYquCANAHVZK/pCwthl0q55j eAHyT1IG71YX4uyP5P52NddcM8Zx6lJRNE1lhxfMD27BYTO4aXBaWg5LIGWCEJK7A5Hv 3gniSGfff22tElHCsr4Yz6/7DLnh/RV3WXZSKGdksxfYEjSc4cGlSrdpQ0Lh8SwI8esC CVvNPxwE7pFv7wBFv4UMw0WGLdYLKyrmie8P9DGRvQgsQwlagnxjfgpT/zBz1JKDKfLl RC/g== 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; bh=RNo/bps/tsb1RUowEXsHGzV71FWNiYl8l9AXr0D72E0=; b=un4M+GlFqSm8erbb5v0JRuIVMEperL2jSp+dtS/Bw67TtjWZKstWtNTuZ9FTQt9Qmj zuGQRWLUxx2NXvDhUZGSkB7LA+CNlVYt4Gbv2Iths0wYeD8feIR3JP5Loe5l1GX7tNdH hqHkDHxFUaemeYfcR9enRNabq/zO01C9nygx0K2FISqD7p2kiTd6BUhzjJPo0U0VB1O/ zdWJtBGqtZD1c6DnHGVqkJRfzXc/AtWZmxMTRufJaafxBzkmfBBqk/yPrI4Bb9XvRtwj 2TTioIoSL6UmJceCz31LaIfIFvqC8mF3KHUXB8bOfQef3iqrd7fROza106TOcebHgrN4 OPog== X-Gm-Message-State: APjAAAU4Ii1tUXbpYloNYQlawelIBqiqxPND6rF/sDuXzaQSplRehpD/ Si6UZBv8q0+OQqKPq2xHf97Y5chWoToOw8Hc9j9MAg== X-Google-Smtp-Source: APXvYqyAL9bTvvZ7uGhSr1ImJl6QHzk6lL3D3rbATqi3viHJzfozIRdCXZ3yB+wbN4Uv3H1sXdwdV8vjsRQwrq/jov8= X-Received: by 2002:a67:e250:: with SMTP id w16mr42078053vse.110.1559161648959; Wed, 29 May 2019 13:27:28 -0700 (PDT) MIME-Version: 1.0 References: <20190529003950.GA78811@pllab.is.ocha.ac.jp> In-Reply-To: <20190529003950.GA78811@pllab.is.ocha.ac.jp> From: Quaker Quickoats Date: Wed, 29 May 2019 16:27:17 -0400 Message-ID: To: Kenichi Asai , caml-list@inria.fr Content-Type: multipart/alternative; boundary="0000000000003bd53c058a0c9c5c" Subject: Re: [Caml-list] How can I use a library in a toplevel created by js_of_ocaml? --0000000000003bd53c058a0c9c5c Content-Type: text/plain; charset="UTF-8" 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 > --0000000000003bd53c058a0c9c5c Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
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<= /a>> wrote:
T= hanks 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
--0000000000003bd53c058a0c9c5c--