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 7C4D65D5 for ; Mon, 27 May 2019 18:35:12 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,520,1549926000"; d="scan'208,217";a="384935716" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 27 May 2019 20:35:11 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 7861F826B1; Mon, 27 May 2019 20:35:11 +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 036DF826B1 for ; Mon, 27 May 2019 20:35:06 +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-f66.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AYBW/gBbLcu9kvRmTUlj6QCf/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZoMS6bnLW6fgltlLVR4KTs6sC17OP9fm6AydZu8vJmUtBWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6?= =?us-ascii?q?OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MQi6oR/MusUIn4duJbs9xgXJr3BVZ+?= =?us-ascii?q?lY2GRkKE6JkR3h/Mmw5plj8ypRu/Il6cFNVLjxcro7Q7JFEjkoKng568L3uxbN?= =?us-ascii?q?SwuP/WYcXX4NkhVUGQjF7Qr1UYn3vyDnq+dywiiaPcnxTbApRTSv6rpgRRH0hC?= =?us-ascii?q?sbMTMy7WfagdFygq1GuhKsvxNwzY7abo+WKfRwYL/ScMgASmZdRMtcTTBNDp++?= =?us-ascii?q?YoYJEuEPPfxYr474p1YWthW+GBOjBODxxT9Sm3T4xrA60+U9HgHF2wwvBc4OsG?= =?us-ascii?q?/Jp9jyLacSTPq6zKrWwjXZdvNWxDb955TLchAmu/6MQalwfNHeyUkqDQzFj1GQ?= =?us-ascii?q?pZb5MDOS0+QAqm6W5PduW+Kojm4osQBxoj63y8crlobGnIcVylTe+SV+2oY1Kt?= =?us-ascii?q?u1Q1N4b968CJZcqT2WOo9sTs4hQ2xkojg2xqAEtJKhfSUHyZIqzAPFZfOdaYiH?= =?us-ascii?q?+BfjWf6RIThmgHJlf6qyhxOo/kihzu3wT9e00E1XoiZcnNnBt3EA2wbc6siATf?= =?us-ascii?q?t98UOh1iiV2w/P7eFEJFg4lavdK5E/3r49joQfvVjHEyPsm0j7jLWaels59uWq?= =?us-ascii?q?8ejqY7TrqoeZN4BuiwH+Nqoumta4AeQ9KgUORnWb9v6/1LL95035WahKjvwqna?= =?us-ascii?q?nat5DVP9gbprWiDg9a14Ys8Re/DzO83NsEmnkHKUpJeAibgIjxJ1HOPPf4AO+j?= =?us-ascii?q?jFu2lTdrw+nKPrngApXWMnjOi6zhfLZ4605E0gU/19Ff55ROCrEAOv3/QEHxtM?= =?us-ascii?q?aLRiM+ZgWvyufPCc470YgeUCSGCembKPD8q1iNs9syKuqBfscspTf2KP8s++Wm?= =?us-ascii?q?2WYkkFwQZ7C03JAUb3mkBdxpJkyYZTznhdJXQjRChRY3UOG/0A7KajVUfXvnB/?= =?us-ascii?q?thtAF+M5qvCML4fq7ogLGF233mTJhfZ2QDFEvVVHm2KcOLXPADbC/UKchkwGRd?= =?us-ascii?q?BOqRDrQ53BTrjzfUjr9uL+7a4Cod7Mux29185umVnhY3p2UtU5atllqVRmQxpV?= =?us-ascii?q?smAics1fkm80N4w1aHl6N/hq4AGA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BKAQBULexchkLZVdFlDg8BAQUBBwUBg?= =?us-ascii?q?VMGAQsBgjcBQVEzKIQTYjuCXo8TjFOIFYV+gXsJAQMBDB8QAQGEQIJYGwcBBDI?= =?us-ascii?q?HDgEDAQEEAQECAQEDARMBAQEICwsIKSMMgjoigxgdARsdAQMSAwILNwIkAREBB?= =?us-ascii?q?QGDVwGBaQEDHYw7kA48iWAagSaBEgUBF4J6BYQyChknDV0DgToCBxKBIgGLUhe?= =?us-ascii?q?BQD+BEYJkLj6CYQSCDIJdglgEizqJSJNRCYIPXoE0hCKIMIQxG4JOOJNDLaJSD?= =?us-ascii?q?yGBNQyBfE0jUDGCOwmCBgkRCYNNhCB0gT2DR1cmMI8lAQE?= X-IPAS-Result: =?us-ascii?q?A0BKAQBULexchkLZVdFlDg8BAQUBBwUBgVMGAQsBgjcBQVE?= =?us-ascii?q?zKIQTYjuCXo8TjFOIFYV+gXsJAQMBDB8QAQGEQIJYGwcBBDIHDgEDAQEEAQECA?= =?us-ascii?q?QEDARMBAQEICwsIKSMMgjoigxgdARsdAQMSAwILNwIkAREBBQGDVwGBaQEDHYw?= =?us-ascii?q?7kA48iWAagSaBEgUBF4J6BYQyChknDV0DgToCBxKBIgGLUheBQD+BEYJkLj6CY?= =?us-ascii?q?QSCDIJdglgEizqJSJNRCYIPXoE0hCKIMIQxG4JOOJNDLaJSDyGBNQyBfE0jUDG?= =?us-ascii?q?COwmCBgkRCYNNhCB0gT2DR1cmMI8lAQE?= X-IronPort-AV: E=Sophos;i="5.60,520,1549926000"; d="scan'208,217";a="307362454" X-MGA-submission: =?us-ascii?q?MDH2N44nXLEsv7zbFyF4V3JNPqvuG7vIOOWqYh?= =?us-ascii?q?cXq5Wr24cxXs3btE7sb5Hu3fwsp+8mfz+FCyUKtin+3Ada6ov9I4GCXP?= =?us-ascii?q?oF+1IPW+JCyOPLq0DdAO5s6m2wAMKcA1gs+JHA2lcYjA4Hj1uBTfgej8?= =?us-ascii?q?IBqVEEwjajGOZvbqAm3ogBIg=3D=3D?= Received: from mail-vs1-f66.google.com ([209.85.217.66]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 27 May 2019 20:35:04 +0200 Received: by mail-vs1-f66.google.com with SMTP id q64so11149361vsd.1 for ; Mon, 27 May 2019 11:35:04 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to:cc; bh=BgkYSmie5gx7bhvUueAEDLEigC9LuK37s2r9v9wlTXw=; b=gRAX0Y6SHyaXJJ9pqbmQg01lJXn2pPv6sENVrYg3qfO63zPR3k6ne6HoZWBE58F08u KMYf57LBS+U7JPCH/el6etOk6uxse7S+TC32A9vEHdAey5Gu4jKDi1U3HOrhuRGiUY/O Ztrg4HlIZTHJZBhOIg6+T8IwPMy3JPGvuurtf/URAo+6HFTBOx8A/wdEMYRB0dwtqHop PGIOJjafjg077ffLE+meynKuWzMgo9fcNk5I+k5/ALWGAZh1bjrA/0fFynwXzDZiLyP8 6PwhcIymasjPnYsptylcvFv5vC2Ct/f5/v/8SrGDBDtc36vwfgdghQP1kFMnF/bJrhms kGSw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to:cc; bh=BgkYSmie5gx7bhvUueAEDLEigC9LuK37s2r9v9wlTXw=; b=VrW86KRxaYWINfl0i8unvkK5ZeD75K032GfFmMKwYuDQxKQOowgn8rZx4YcDXX8CqG Q0Sg989hJzK71UxH6rCuTtXrAISU2cTTwwBKsp40KmGSj2ElylsdO9NG6VsMv32kwsqD HPjl9VoGRXNC6Z8qQGNx8zTxjukLF/OTwoymgTglhorqiUKgky1jU7ID/QUDlflpGIv4 EWftkqlsR0e/0Eq4NM8stECsXBOu39WK7BaVgZbuDYHPJexRPrk9I6M1mo1kQ8rDlymz xXbbO6boEDdm/uTi6ZYjm3RdWEyUbjJSx7schjiQqeFvOi/6EM0nmgk7x49qfzha+P+h bc/A== X-Gm-Message-State: APjAAAWd9w4kNYILENByCbqUn31jCQwdw/80+K94MdBWM3QPb/2qJNUg MQMjCqNRxlYCYAdbWBjjZTSI4tfBbd8i1F+zRDk= X-Google-Smtp-Source: APXvYqxfqrNP8ikShCx7wZNbhSUJ+LnC9ps53PLPVDcuAa73b8KGMu0B2o53ePn25kpfZo4ZrIGKBeyMiKb/VPwZSjs= X-Received: by 2002:a67:c109:: with SMTP id d9mr62171570vsj.172.1558982103380; Mon, 27 May 2019 11:35:03 -0700 (PDT) MIME-Version: 1.0 From: Quaker Quickoats Date: Mon, 27 May 2019 14:34:52 -0400 Message-ID: To: asai@is.ocha.ac.jp Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary="0000000000007bb5d80589e2cea0" Subject: Re: [Caml-list] How can I use a library in a toplevel created by js_of_ocaml? Reply-To: Quaker Quickoats X-Loop: caml-list@inria.fr X-Sequence: 17577 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: --0000000000007bb5d80589e2cea0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Looking to solve your problem in 2-toplevel.tar.gz code, I've proceeded to notice that out of all the js_of_ocaml libraries installed here, there is missing js_of_ocaml-toplevel -- here is what happened when I try to download and install it with OPAM (2.0.4~): ~/Downloads/p/toplevel $ opam install js_of_ocaml-toplevel The following actions will be performed: =E2=88=97 install js_of_ocaml-toplevel 3.4.0 <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> [js_of_ocaml-toplevel.3.4.0] found in cache <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> [ERROR] The compilation of js_of_ocaml-toplevel failed at "/home/user/.opam/opam-init/hooks/sandbox.sh build dune build -p js_of_ocaml-toplevel -j 1". #=3D=3D=3D ERROR while compiling js_of_ocaml-toplevel.3.4.0 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= # # context 2.0.4 | linux/x86_64 | ocaml-base-compiler.4.07.1 | https://opam.ocaml.org#a7ba7031 # path ~/.opam/default/.opam-switch/build/js_of_ocaml-toplevel.3.4.0 # command ~/.opam/opam-init/hooks/sandbox.sh build dune build -p js_of_ocaml-toplevel -j 1 # exit-code 1 # env-file ~/.opam/log/js_of_ocaml-toplevel-3670-05296d.env # output-file ~/.opam/log/js_of_ocaml-toplevel-3670-05296d.out ### output ### # Error: Unbound module Js_of_ocaml_compiler.Stdlib # [...] # (cd _build/default && /home/user/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -I toplevel/lib/.js_of_ocaml_toplevel.objs/byte -I /home/user/.opam/default/lib/biniou -I /home/user/.opam/default/lib/bytes -I /home/user/.opam/default/lib/easy-format -I /home/user/.opam/default/lib/js_of_ocaml -I /home/user/.opam/default/lib/js_of_ocaml-compiler -I /home/user/.opam/default/lib/[...] # File "toplevel/lib/jsooTopPpx.ml", line 20, characters 5-32: # Error: Unbound module Js_of_ocaml_compiler.Stdlib # ocamlc toplevel/lib/.js_of_ocaml_toplevel.objs/byte/js_of_ocaml_toplevel__JsooTop.= {cmo,cmt} (exit 2) # (cd _build/default && /home/user/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -I toplevel/lib/.js_of_ocaml_toplevel.objs/byte -I /home/user/.opam/default/lib/biniou -I /home/user/.opam/default/lib/bytes -I /home/user/.opam/default/lib/easy-format -I /home/user/.opam/default/lib/js_of_ocaml -I /home/user/.opam/default/lib/js_of_ocaml-compiler -I /home/user/.opam/default/lib/[...] # File "toplevel/lib/jsooTop.ml", line 22, characters 5-32: # Error: Unbound module Js_of_ocaml_compiler.Stdlib # ocamlopt toplevel/lib/.js_of_ocaml_toplevel.objs/native/js_of_ocaml_toplevel__JsooTo= pPpx.{cmx,o} (exit 2) # (cd _build/default && /home/user/.opam/default/bin/ocamlopt.opt -w -40 -g -I toplevel/lib/.js_of_ocaml_toplevel.objs/byte -I toplevel/lib/.js_of_ocaml_toplevel.objs/native -I /home/user/.opam/default/lib/biniou -I /home/user/.opam/default/lib/bytes -I /home/user/.opam/default/lib/easy-format -I /home/user/.opam/default/lib/js_of_ocaml -I /home/user/.opam/default/lib/js_of_ocaml-co[...] # File "toplevel/lib/jsooTopPpx.ml", line 20, characters 5-32: # Error: Unbound module Js_of_ocaml_compiler.Stdlib <><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><> =E2=94=8C=E2=94=80 The following actions failed =E2=94=82 =CE=BB build js_of_ocaml-toplevel 3.4.0 =E2=94=94=E2=94=80 =E2=95=B6=E2=94=80 No changes have been performed ~/Downloads/p/toplevel $ opam install js_of_ocaml-compiler [NOTE] Package js_of_ocaml-compiler is already installed (current version is 3.3.0). --0000000000007bb5d80589e2cea0 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Looking to solve your problem in 2-toplevel.tar.gz code, I= 've proceeded to notice that out of all the js_of_ocaml libraries insta= lled here, there is missing js_of_ocaml-toplevel -- here is what happened w= hen I try to download and install it with OPAM (2.0.4~):

~/Downloads= /p/toplevel $ opam install js_of_ocaml-toplevel
The following actions wi= ll be performed:
=C2=A0 =E2=88=97 install js_of_ocaml-toplevel 3.4.0
=
<><> Gathering sources ><><><><>= <><><><><><><><><><= ;><><><><><><><><><&g= t;<><><><><>
[js_of_ocaml-toplevel.3.4.0] = found in cache

<><> Processing actions <><>&= lt;><><><><><><><><><= ><><><><><><><><><>= ;<><><><><><><>
[ERROR] The co= mpilation of js_of_ocaml-toplevel failed at "/home/user/.opam/opam-ini= t/hooks/sandbox.sh build dune build -p js_of_ocaml-toplevel -j
=C2=A0 = =C2=A0 =C2=A0 =C2=A0 1".

#=3D=3D=3D ERROR while compiling js_of= _ocaml-toplevel.3.4.0 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D#
# context =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A02.0.4 | linux/x86_64 | ocaml-base-compiler.4.07.1 | https://opam.ocaml.org#a7ba7031
# = path =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ~/.opam/defaul= t/.opam-switch/build/js_of_ocaml-toplevel.3.4.0
# command =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0~/.opam/opam-init/hooks/sandbox.sh build = dune build -p js_of_ocaml-toplevel -j 1
# exit-code =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A01
# env-file =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 ~/.opam/log/js_of_ocaml-toplevel-3670-05296d.env
# output-file =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0~/.opam/log/js_of_ocaml-toplevel-3670-05296d= .out
### output ###
# Error: Unbound module Js_of_ocaml_compiler.Stdl= ib
# [...]
# (cd _build/default && /home/user/.opam/default/b= in/ocamlc.opt -w -40 -g -bin-annot -I toplevel/lib/.js_of_ocaml_toplevel.ob= js/byte -I /home/user/.opam/default/lib/biniou -I /home/user/.opam/default/= lib/bytes -I /home/user/.opam/default/lib/easy-format -I /home/user/.opam/d= efault/lib/js_of_ocaml -I /home/user/.opam/default/lib/js_of_ocaml-compiler= -I /home/user/.opam/default/lib/[...]
# File "toplevel/lib/jsooTop= Ppx.ml", line 20, characters 5-32:
# Error: Unbound module Js_of_oc= aml_compiler.Stdlib
# =C2=A0 =C2=A0 =C2=A0 ocamlc toplevel/lib/.js_of_oc= aml_toplevel.objs/byte/js_of_ocaml_toplevel__JsooTop.{cmo,cmt} (exit 2)
= # (cd _build/default && /home/user/.opam/default/bin/ocamlc.opt -w = -40 -g -bin-annot -I toplevel/lib/.js_of_ocaml_toplevel.objs/byte -I /home/= user/.opam/default/lib/biniou -I /home/user/.opam/default/lib/bytes -I /hom= e/user/.opam/default/lib/easy-format -I /home/user/.opam/default/lib/js_of_= ocaml -I /home/user/.opam/default/lib/js_of_ocaml-compiler -I /home/user/.o= pam/default/lib/[...]
# File "toplevel/lib/jsooTop.ml", line 2= 2, characters 5-32:
# Error: Unbound module Js_of_ocaml_compiler.Stdlib<= br># =C2=A0 =C2=A0 ocamlopt toplevel/lib/.js_of_ocaml_toplevel.objs/native/= js_of_ocaml_toplevel__JsooTopPpx.{cmx,o} (exit 2)
# (cd _build/default &= amp;& /home/user/.opam/default/bin/ocamlopt.opt -w -40 -g -I toplevel/l= ib/.js_of_ocaml_toplevel.objs/byte -I toplevel/lib/.js_of_ocaml_toplevel.ob= js/native -I /home/user/.opam/default/lib/biniou -I /home/user/.opam/defaul= t/lib/bytes -I /home/user/.opam/default/lib/easy-format -I /home/user/.opam= /default/lib/js_of_ocaml -I /home/user/.opam/default/lib/js_of_ocaml-co[...= ]
# File "toplevel/lib/jsooTopPpx.ml", line 20, characters 5-3= 2:
# Error: Unbound module Js_of_ocaml_compiler.Stdlib



&l= t;><> Error report <><><><><><>= ;<><><><><><><><><>&l= t;><><><><><><><><><&= gt;<><><><><><>
=E2=94=8C=E2=94=80 T= he following actions failed
=E2=94=82 =CE=BB build js_of_ocaml-toplevel = 3.4.0
=E2=94=94=E2=94=80
=E2=95=B6=E2=94=80 No changes have been per= formed
~/Downloads/p/toplevel $ opam install js_of_ocaml-compiler
[NO= TE] Package js_of_ocaml-compiler is already installed (current version is 3= .3.0).
--0000000000007bb5d80589e2cea0--