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 7F9DA5D4 for ; Fri, 26 Apr 2019 11:32:54 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,397,1549926000"; d="scan'208,217,223";a="380404349" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Apr 2019 13:32:53 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 3F71B82674; Fri, 26 Apr 2019 13:32:53 +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 3CFE58249D for ; Fri, 26 Apr 2019 13:32:46 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-qk1-f176.google.com IronPort-PHdr: =?us-ascii?q?9a23=3A9YiY0RxGY3qKbtDXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2usVIJqq85mqBkHD//Il1AaPAdyCra8awLaP+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxhViDanYb5/LRq6oArMusILnYZsN6E9xwfTrHBVYe?= =?us-ascii?q?pW32RoJVySnxb4+Mi9+YNo/jpTtfw86cNOSL32cKskQ7NWCjQmKH0169bwtRbf?= =?us-ascii?q?VwuP52ATXXsQnxFVHgXK9hD6XpP2sivnqupw3TSRMMPqQbwoXzmp8rxmQwH0hi?= =?us-ascii?q?gZKzE58XnXis1ug6JdvBKhvAF0z4rNbI2IKPZyYqbRcNUHTmRDQ8lRTTRMDYyy?= =?us-ascii?q?b4QND+QPM+VWoZTjqVQSthaxHxWgCfn1xzNUmnP736s32PkhHwHc2wwgGsoDvn?= =?us-ascii?q?XOo9ruLqcSUP66zK3Vxjvec/xW2Sny6JLWfRA7vPqBWr1wftDKxkk1FgPKkFGQ?= =?us-ascii?q?pZb+PzyJ1uQCrXKb4PR6Ve+0hG4nrht+ojmrxss2lobJgYcVx0nC+C5kw4g1Pc?= =?us-ascii?q?W1RFBnbdOgCpddtCGXO5FoTs88XW1kojs2x78HtJO9YSME0o4oxwTFZPyCa4WI?= =?us-ascii?q?4gzsVOKWITpggXJqYrO/hxKr/Ui5ye3wS9C40FhXoidHk9TArH8N1xvU6siITv?= =?us-ascii?q?ty4F2t1iqI1wDW8u1EIEY0mrTHK5M53LI8ip4evV7AEyL2gkn6krGaels+9uS1?= =?us-ascii?q?6enqY63qppqGOI91jgH+PL4umsu6AekgPQgBRXOU+f691LL9+U31Wq5KgeE2kq?= =?us-ascii?q?bHqpDVO94bq7W2Aw9QyIkj6hK/Ay2639QfmHkLNEhFdw6fj4j1J1HOJ+j1Dey/?= =?us-ascii?q?g1Stljdk2u7JPqf/DZjWL3nDkbLhcq1n60FG0gYzzNZf54hVCr4bOv7zVFXxvs?= =?us-ascii?q?TCDhAlKwy03/rnCNJl24wCQ22PB6uZPLrWsV+J/eIvP/KBZJQVuTb4M/gq/eTi?= =?us-ascii?q?jX4/mV8HfKmmx4EbaH6iHqcuH0LMWvvmi8wdEGoMiSo/SuDnklCYGWpoany7RL?= =?us-ascii?q?496zd9KIOgAYrZS5qFgbqb3S79EIcAIihNA1WIWWrzep+fE6MHYSeWZ8tgiSAs?= =?us-ascii?q?VL67SoZn2wv45yHgzL8yAePe4CwVsdrY39h4/eDJ3UU9/DZuDsmZlXqGT2xuk3?= =?us-ascii?q?kgSDo/3aQ5qkt4nATQmZNkiuBVQIQAr8hCVR03YNuFl7QjWoLCHznZd9LMc26I?= =?us-ascii?q?B9CvADU/VNU0moZcbEN0GtHkhRfGjXPzXu0l0oeTDZlxyZrymnj8I8EnlSTD3a?= =?us-ascii?q?glykAlG45BbDL4wKF48AfXCsjClEDLz//2J5RZ5zbE8SK49UTLpFtRCVciXqDM?= =?us-ascii?q?XHRZbUzT/4z0?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DKAQA868JchrDeVdFmHAEBAQQBAQcEA?= =?us-ascii?q?QGBZYNKMyiED4Edgl6PIoINiUxzkAgQhG0ChjIbBwEENBMBAwEBBAEBAgEBAQE?= =?us-ascii?q?TAQEBCAsLCBsOIwyCOikBgmcBBAEjHQEbHgMBCwYFBAc3AgIiAREBBQEcBgESg?= =?us-ascii?q?yKBaQEDDQ+jEjyLHYESBQEXgnoFhDsKGScNXQOBOQIHEoEgi0mBVz+EIz6BDoZ?= =?us-ascii?q?AglcEpmIHAoIKUASRWRuVGYNoiB+UWQ8hgUWBdzMaI1AxgjuCDwwOCYNMilVAM?= =?us-ascii?q?JI4AQE?= X-IPAS-Result: =?us-ascii?q?A0DKAQA868JchrDeVdFmHAEBAQQBAQcEAQGBZYNKMyiED4E?= =?us-ascii?q?dgl6PIoINiUxzkAgQhG0ChjIbBwEENBMBAwEBBAEBAgEBAQETAQEBCAsLCBsOI?= =?us-ascii?q?wyCOikBgmcBBAEjHQEbHgMBCwYFBAc3AgIiAREBBQEcBgESgyKBaQEDDQ+jEjy?= =?us-ascii?q?LHYESBQEXgnoFhDsKGScNXQOBOQIHEoEgi0mBVz+EIz6BDoZAglcEpmIHAoIKU?= =?us-ascii?q?ASRWRuVGYNoiB+UWQ8hgUWBdzMaI1AxgjuCDwwOCYNMilVAMJI4AQE?= X-IronPort-AV: E=Sophos;i="5.60,397,1549926000"; d="scan'208,217,223";a="380404313" X-MGA-submission: =?us-ascii?q?MDFjxCSXGSwK++qjow8kOza4Iw8yLzwn6nFv2b?= =?us-ascii?q?7ocZj9bVSX1PC78BcB8Tc6TPLbppFwUjBYxgvngaJ1ibTt09QxFQq3Rd?= =?us-ascii?q?4xetcGQyXdU/uhXGvUqfSaYT9Zi5um3K6FV32zj9BcFJSxPXLZ+P+fgY?= =?us-ascii?q?f6hATRgHuoQrmqM4+Af6R+DA=3D=3D?= Received: from mail-qk1-f176.google.com ([209.85.222.176]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 26 Apr 2019 13:32:45 +0200 Received: by mail-qk1-f176.google.com with SMTP id m137so1650445qke.3; Fri, 26 Apr 2019 04:32:45 -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=3jPr/x74KZ9DbQNo1yM2ULG8dupAK+Itf/gKb6w2s/Y=; b=L9MkfWv4FPuQoKW5MbmdKNYkgcCD+WxYtC6mwJUTm1+5oxFR2mmmIU5twAX9UdBDDE Jk/bjaub38wb/Yo94u9x5uq2/IqrxWIlvig/nwAcoAOEkArC+vYfc0UpvfFJmP1ioq+N xpQWiDqX9mlZe3SAVtDEUD8cjiGqXp/0Z9BTM9qUljUltcyOS9eu6VJ4VLEwO+aHRmPs Ro9T7pNLHezgLQciDSf9DdKFH6edgZjUYwpctBw9EdURiix+MhkNkwl1bAoDf0BuU/NT ZtJWs/hdGVeSZpOrRy8ADiHSF/mNeW9SXFAhYErgqNHj9fg95+nrRDm2szP2uf4T4i2h pxlA== 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=3jPr/x74KZ9DbQNo1yM2ULG8dupAK+Itf/gKb6w2s/Y=; b=J5SFI9QB+Q++DMRT4u5v31SCUtApP8mtaCFf7soBDahzkL0t69VYgoWlduaEHyoz67 yhygsWbijJr7RVFcP5+lcgHo/aduZHjDe+ef+A6VCxS6uYL8nzk2++qM/Q3Kz+l9fZ+m 5f+ih8CjqAXvPM9Ty2mubcF9Mq6t5Gfg8/Hvo3JM+Mz/Q/pssP8BuLDfnl1gk28Fvq3P qcSWASOCJUUPGsqA01F2KkEjvEVwWVnAxxYmOdOXrNktSnaHjJUyyEcBaje1GV+FaEaa vd0pjU1N1dB+2Ac7CfRUWwQg/BsHAA9k879g10pvtrNRuYotT7fIadiK6Ktc3gubSTHC r0dA== X-Gm-Message-State: APjAAAXjEAIj1ye2rkQenkyMG2XRFAkDy5ExbgL/KpsWe65jhn6JpDzW VCJP0m1AVjDS+MnQqxqNE+28s/xgdBRUJsBLH+SHtBlT X-Google-Smtp-Source: APXvYqyHsQC6rvkQ1meqYOXzEfNI3E1fn04B7ZpXj6AGkAA6WU/Lxbu7QoEBRd/sRNsQ0YHCiO7Q84svrIoQZUHMgJM= X-Received: by 2002:a37:90c5:: with SMTP id s188mr1638356qkd.350.1556278363802; Fri, 26 Apr 2019 04:32:43 -0700 (PDT) MIME-Version: 1.0 References: <20190426094858.on6ei7ujdwbsozjq@annexia.org> <20190426100744.GA5136@prajna.paris.inria.fr> In-Reply-To: <20190426100744.GA5136@prajna.paris.inria.fr> From: Gabriel Scherer Date: Fri, 26 Apr 2019 13:32:28 +0200 Message-ID: To: =?UTF-8?Q?S=C3=A9bastien_Hinderer?= , caml users Content-Type: multipart/alternative; boundary="0000000000000bd05a05876d4b14" Subject: Re: [Caml-list] Test failure - why? Reply-To: Gabriel Scherer X-Loop: caml-list@inria.fr X-Sequence: 17509 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: --0000000000000bd05a05876d4b14 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable >From the compiler distribution directory, going to testsuite/ and running make one DIR=3Dtests/tools-toplevel I observe various output (actually in the run I made I can see this failure line as well). The test that fails in my case is find-artifacts/, so there is a log directory tests/tool-debugger/find-artifacts/_ocamltest/ In particular there is a file cat tests/tool-debugger/find-artifacts/_ocamltest/tests/tool-debugger/find-arti= facts/debuggee/ocamlc.byte/debuggee.byte.output which ends with Debugger [version 4.10.0+dev0-2019-04-23] environment error: The files /usr/local/lib/ocaml/stdlib.cmi and /home/gasche/Prog/ocaml/github-trunk/testsuite/tests/tool-debugger/find-art= ifacts/_ocamltest/tests/tool-debugger/find-artifacts/debuggee/ocamlc.byte/o= ut/blah.cmi make inconsistent assumptions over interface Stdlib This seems to be a problem where the testsuite environment is not sufficiently isolated from the outside world, and another OCaml install somewhere breaks things. On Fri, Apr 26, 2019 at 12:08 PM S=C3=A9bastien Hinderer < Sebastien.Hinderer@inria.fr> wrote: > Did you try to run the command manually to see what happens? > S=C3=A9bastien. > --0000000000000bd05a05876d4b14 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Fr= om the compiler distribution directory, going to

= =C2=A0 testsuite/

and running

=
=C2=A0 make one DIR=3Dtests/tools-toplevel

I = observe various output (actually in the run I made I can see this failure l= ine as well). The test that fails in my case is find-artifacts/, so there i= s a log directory

=C2=A0 tests/tool-debugger/find-= artifacts/_ocamltest/

In particular there is a fil= e

=C2=A0 cat tests/tool-debugger/find-artifact= s/_ocamltest/tests/tool-debugger/find-artifacts/debuggee/ocamlc.byte/debugg= ee.byte.output

which ends with

Debugger [version 4.10.0+dev0-2019-04-23] environment error:
=C2= =A0The files /usr/local/lib/ocaml/stdlib.cmi
=C2=A0and /home/gasche/Prog= /ocaml/github-trunk/testsuite/tests/tool-debugger/find-artifacts/_ocamltest= /tests/tool-debugger/find-artifacts/debuggee/ocamlc.byte/out/blah.cmi
= =C2=A0make inconsistent assumptions over interface Stdlib
This seems to be a problem where the testsuite environment is n= ot sufficiently isolated from the outside world, and another OCaml install = somewhere breaks things.

On Fri, = Apr 26, 2019 at 12:08 PM S=C3=A9bastien Hinderer <Sebastien.Hinderer@inria.fr> wrote:
Did you try to run the = command manually to see what happens?
S=C3=A9bastien.
--0000000000000bd05a05876d4b14--