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 5265A5D5 for ; Wed, 29 May 2019 00:40:13 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,525,1549926000"; d="scan'208";a="385131299" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 29 May 2019 02:40:12 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 1631D826B2; Wed, 29 May 2019 02:40:12 +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 864717ED69 for ; Wed, 29 May 2019 02:40:03 +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=3AzWV5ph+HOdtLKP9uRHKM819IXTAuvvDOBiVQ1KB4?= =?us-ascii?q?2+kcTK2v8tzYMVDF4r011RmVBNydsqgawLGK+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxhViDanfL9+MhS7oQrfu8QZnIBvNrs/xhzVr3VSZu?= =?us-ascii?q?9Y33loJVWdnxb94se/4ptu+DlOtvwi6sBNT7z0c7w3QrJEAjsmNXs15NDwuhnY?= =?us-ascii?q?UQSP/HocXX4InRdOHgPI8Qv1Xpb1siv9q+p9xCyXNtD4QLwoRTiv6bpgRQT2gy?= =?us-ascii?q?kbKTE27GDXitRxjK1FphKhuwd/yJPQbI2MKfZyYr/RcdYcSGFcXMheSjZBD5uy?= =?us-ascii?q?YYUPEeQPIOVWr4fyqFQSsBSxBwejCfjzyjNUnHL6wbE23v4/HQzAwQcuH8gOsH?= =?us-ascii?q?PRrNjtMakdT+a1zKjUwjXDbvNdxCvw6JPSfRAgvPqBWqh/cdHLxkkuDA7Fj06Q?= =?us-ascii?q?pZbiPzyJ1uQCqXKX4PB8Wu61iW4nsxh8rz6yzckvkonEnp8Zx17K+CljwYs4Jc?= =?us-ascii?q?e0RU90bNK+DZdcqzmWO5ZoTs4sWW1kpig3xqEctZKmeCUHyY4ryhzCZ/GBboOG?= =?us-ascii?q?+AjsVPyLLjd9nH9leKywhxK18UW4xOzzSNK73ExLripeiNXMsWwC1xzJ5cSdUP?= =?us-ascii?q?Ry4l2t2TSX1wzL6+FEJ147lbbDJpI8zLM9mIAfvEXDEyPsmUj7g7Waelg49uSw?= =?us-ascii?q?7uToeLTmppuSN49ujQH+N7wjldakAesiMwgDRGmb+f+m2L3k4UL5QK9Fgucsna?= =?us-ascii?q?bFqpzaJ9wbqrajAwBJyoYj9wq/DzC+3dsEh3YHKVZFdAuDj4joIFHOPOv1Dey/?= =?us-ascii?q?glSpiDdk3erKPrznApXXL3jMiq3tfbhn6x0U9A1m9M1W5J9OQogcIfnwXUbtr5?= =?us-ascii?q?SMFwIwMAGu2vvmA9Z6358FcW2KC66ddqjVtAnbyPgoJryvaYkUszb8Y9E+7v+m?= =?us-ascii?q?2XYikF41fLLv2pAXYTaxFbJkOxPKMjLXnt4dHDJS7UIFR+vwhQjHCGYLPivgb+?= =?us-ascii?q?cH/jg+TbmeI8LDS4Sq2e3TwyqxWJxNIGdNClnKGHyudZ3WA65QOhLXGddol3k/?= =?us-ascii?q?bZbkU5UojEz8tRS8zLFnJ6zd8WsarcC7jYkn16jojRg3sAdMIYGY2mCJQXtzmz?= =?us-ascii?q?pVFT4tmqd0oUU7w1zF07Aq2vE=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B4AQCe0+1cbQpAQYVlGgEBAQEBAgEBA?= =?us-ascii?q?QEHAgEBAQGBZQKCD4E8MYxZC1KMJZhagXoBCAEDAQoBAS0CAQGEQAKCYxsHAQQ?= =?us-ascii?q?4Ag0BAwEBBAEBAgEBAwETDRUHGz2COikBgmcBBAE6PwULCyElDwUgAQUBIoUxD?= =?us-ascii?q?gGdYzyMT4hDIYFXEoEiAYtpgX+DdS4+iACCJgSIdAeLIJQ4CYIPghKQdwwbgg8?= =?us-ascii?q?BijyJfS2iOQIEAgQFAgYPIYFcgWEzGggwO4JtkGAxgTUmE41yAQE?= X-IPAS-Result: =?us-ascii?q?A0B4AQCe0+1cbQpAQYVlGgEBAQEBAgEBAQEHAgEBAQGBZQK?= =?us-ascii?q?CD4E8MYxZC1KMJZhagXoBCAEDAQoBAS0CAQGEQAKCYxsHAQQ4Ag0BAwEBBAEBA?= =?us-ascii?q?gEBAwETDRUHGz2COikBgmcBBAE6PwULCyElDwUgAQUBIoUxDgGdYzyMT4hDIYF?= =?us-ascii?q?XEoEiAYtpgX+DdS4+iACCJgSIdAeLIJQ4CYIPghKQdwwbgg8BijyJfS2iOQIEA?= =?us-ascii?q?gQFAgYPIYFcgWEzGggwO4JtkGAxgTUmE41yAQE?= X-IronPort-AV: E=Sophos;i="5.60,525,1549926000"; d="scan'208";a="307506948" X-MGA-submission: =?us-ascii?q?MDGSNnERcvRCJfuf2OYTH8qw4QfJ+UOQTphQr3?= =?us-ascii?q?33jA528NrfN2q76AVSewEqnEMSR2dY6U1F/0ikLiDc6IgPNQJiPJZB2I?= =?us-ascii?q?la2uE62c+uYU7Qm21xa/sadukL+K9tjelU0GHPWzbTgefL43C3s/S8kQ?= =?us-ascii?q?bJOlB0KULKMfueUiikd1e8Bg=3D=3D?= Received: from web.is.ocha.ac.jp ([133.65.64.10]) by mail3-smtp-sop.national.inria.fr with ESMTP; 29 May 2019 02:40:01 +0200 Received: from mail-pl1-f200.google.com (mail-pl1-f200.google.com [209.85.214.200]) by web.is.ocha.ac.jp (Postfix) with ESMTP id CD06C20093983 for ; Wed, 29 May 2019 09:39:58 +0900 (JST) Received: by mail-pl1-f200.google.com with SMTP id x14so333351pln.6 for ; Tue, 28 May 2019 17:39:58 -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=gZMtziXU4FXE0GHQi95DJvvpryTZ3taEsDvB3QBWnQ0=; b=VC2YM2mgZLsD7b7L3Vm9RmC5t2BgdEQ9Skm3N8698q+E/Qu5AIFehqBCmxq5QmwrSY 7RI4GETkwwd4+WAzOw/HuFntK+2Ag+qmexdR71Qga67d6C4AdYNeJ2SMcqGoNnAST/Vd 4IzaeCkL1InNhMLb0f+tYJ1nZdLc9LT0PJlpwcryiamiQJ2A8ndWOehBfeDVVTBdM4cS PjXWAyW0eawd1HKssoSoDXIfMLZD2IgSATG+wSfY6y8rtcqGiba0X8nHyp4u4KI7uFRk 6N5KP/vX3X1PurgMyAUDDfqqxdpxASzWBJ9Q5i16c8o8k5Eq3/8RPIbMUuOkCEx8s7/n w8qg== X-Gm-Message-State: APjAAAXVAjhmILj9RND6QQC6uKnHXsdlwApz5t/uPlZGcFTiNF3Wo6fP BAbvPRHBGm9Q0uDujnirugjYJmuwkQbDsman8XQsxYx8lQVT1M9las0rSSNKRnrLn2/IgPet74n Cdo80xssFWBgf X-Received: by 2002:a17:902:8493:: with SMTP id c19mr4306945plo.58.1559090398400; Tue, 28 May 2019 17:39:58 -0700 (PDT) X-Google-Smtp-Source: APXvYqyY/d80V6L3pJxslc8SYG0zyYTRTpi2zPiIiwFXRBNNUHirgt+n0Y6taStUHu6wjxZm2mvUqA== X-Received: by 2002:a17:902:8493:: with SMTP id c19mr4306932plo.58.1559090398135; Tue, 28 May 2019 17:39:58 -0700 (PDT) Received: from localhost (123.230.196.71.er.eaccess.ne.jp. [123.230.196.71]) by smtp.gmail.com with ESMTPSA id g83sm18370539pfb.158.2019.05.28.17.39.57 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 28 May 2019 17:39:57 -0700 (PDT) Date: Wed, 29 May 2019 09:39:50 +0900 From: Kenichi Asai To: Quaker Quickoats Cc: caml-list@inria.fr Message-ID: <20190529003950.GA78811@pllab.is.ocha.ac.jp> References: 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] How can I use a library in a toplevel created by js_of_ocaml? Reply-To: Kenichi Asai X-Loop: caml-list@inria.fr X-Sequence: 17585 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: 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