From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 101767FFB2 for ; Fri, 11 Mar 2016 17:27:33 +0100 (CET) IronPort-PHdr: 9a23:vybX6x8jrDJll/9uRHKM819IXTAuvvDOBiVQ1KB92+IcTK2v8tzYMVDF4r011RmSDdqdu6MP27eempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+lRciC3o/niqibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwuwwZgf8q9tZBXKPmZOx4COUAVHV1e1wysfPqsxLOSxfHxHIXS3gbiVIcHQnD5xz8Qr/vsy3xu+xhnSuTNtTrQKtyXzm+ufRFUhjt3Q4BKzk/uEvegcxxiuoPqRS9vRt5yYffYICTHPV7d6LZO9gdQDwSDY5qSyVdD9bkPMM0BO0bMLMd9tGlqg== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=antronbachin@gmail.com; spf=Pass smtp.mailfrom=antronbachin@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f169.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of antronbachin@gmail.com) identity=pra; client-ip=209.85.223.169; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="antronbachin@gmail.com"; x-sender="antronbachin@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of antronbachin@gmail.com designates 209.85.223.169 as permitted sender) identity=mailfrom; client-ip=209.85.223.169; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="antronbachin@gmail.com"; x-sender="antronbachin@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-io0-f169.google.com) identity=helo; client-ip=209.85.223.169; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="antronbachin@gmail.com"; x-sender="postmaster@mail-io0-f169.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BGAQBn8eJWkqnfVdFdhBBtqhuFKoxgHYVwAoExOxEBAQEBAQEBARABAQEBBwsLCSEvgi2CFAEBAQMBEhEdARsdAQMBCwYFCw0nAwICIxEBBQELEQYTGweHbAEDCgigTYExPjGLNoFqgleFSAoZJw1Rg24BAQEBAQEBAQEBAQEBAQEBAQEBEQEFCgWHfAiCR4EfhhsrgQ8FjiqJGYVtiA+JIQ6FU40zL4EPNoIiHoFvS4kWJIEXAQEB X-IPAS-Result: A0BGAQBn8eJWkqnfVdFdhBBtqhuFKoxgHYVwAoExOxEBAQEBAQEBARABAQEBBwsLCSEvgi2CFAEBAQMBEhEdARsdAQMBCwYFCw0nAwICIxEBBQELEQYTGweHbAEDCgigTYExPjGLNoFqgleFSAoZJw1Rg24BAQEBAQEBAQEBAQEBAQEBAQEBEQEFCgWHfAiCR4EfhhsrgQ8FjiqJGYVtiA+JIQ6FU40zL4EPNoIiHoFvS4kWJIEXAQEB X-IronPort-AV: E=Sophos;i="5.24,321,1454972400"; d="scan'208,217";a="168215207" Received: from mail-io0-f169.google.com ([209.85.223.169]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 11 Mar 2016 17:27:31 +0100 Received: by mail-io0-f169.google.com with SMTP id z76so151874406iof.3 for ; Fri, 11 Mar 2016 08:27:31 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:subject:from:in-reply-to:date:cc:message-id:references :to; bh=jz3kDSNDrEgUaTaJCia5FVWFQkXQm4ipSXc0ZA1zOHc=; b=mJV58QGTiQGTTw+5dxL6gRGbJUUx9VTytoHTXrciaQQRsJVbGYchZwd+hOhXfgRvwH XZ5j82Gb3mfopFSn2Hul7TlxFgXcAehmA1DjCpii/AW4wA/IrBx86ToXBAVwpBNE80rJ rfDtFN5XA44HO9w0LXxx0NrRVq7Zd5cJrbdLlflofE6tNuuv0rIIeDobVxuNSav/UeNj ujQ26kBYZmZkZvjZD7ojM5JHfnpsurBy3PBb46Pw44FapJa/zzZEaKYzxf2YWkIYjF8t Qa+Fv8RF6yHwCL2Xr9923i9IHsgwjy6vAuXul+rGDLuY2ukHFFgnpfBx6ZEReTo3EeJH ro5w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:subject:from:in-reply-to:date:cc :message-id:references:to; bh=jz3kDSNDrEgUaTaJCia5FVWFQkXQm4ipSXc0ZA1zOHc=; b=mUU0hbvOGC5YwYCeRLNlNua4JP9kVFzK3Jy1l7mTZwVjlpCh3+CsuCIlR/ho5S7mgb WjNyDL3P0pEv501Inj6fxUebQEjC6oZD5p3SbTwV9WI5AH0PIQvAgnc4UfHL81aS+5l+ vKuYLfziKVXBoraSxe2MPgHRX3g9IxsHOV3AHiR6KUyyA+4RPv4pZiNFepBhmMviP7Pp PaDpjoE4jpwkNsupNW/1m6wJdVV0or223gSk/h6o/it+m/K3Jkk9JdNPetAqHfbnl1z8 +AoWFsH7PUchzccvWFfgLtnOWEWDje2o4hjrdkV1CPNvWio93Wq75EFWGvSUTQK9Olma Wm/w== X-Gm-Message-State: AD7BkJJgsXBAtdn7GklGEIsAHd8D3Lop1EXexCqGXasGNAKCUV/FAT4H9mU6kNnEtz/+Rg== X-Received: by 10.107.38.78 with SMTP id m75mr11580661iom.15.1457713650661; Fri, 11 Mar 2016 08:27:30 -0800 (PST) Received: from [192.168.0.13] (c-73-9-77-177.hsd1.il.comcast.net. [73.9.77.177]) by smtp.gmail.com with ESMTPSA id b142sm3738389ioe.27.2016.03.11.08.27.29 (version=TLS1 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Fri, 11 Mar 2016 08:27:29 -0800 (PST) Content-Type: multipart/alternative; boundary="Apple-Mail=_7734560D-D5E8-40E9-9672-75FA7A7D6341" Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2070.6\)) From: Anton Bachin X-Mailtags-Timestamp: 2016-03-11 10:27:28 -0600 In-Reply-To: Date: Fri, 11 Mar 2016 10:27:28 -0600 Cc: Alan Schmitt , OCaml Mailing List X-Mao-Original-Outgoing-Id: 479406448.582135-2eef3ac48ebae869bdaeb82c2fdc5c9c X-Mailtags-Version: 4 X-Mailtags: {"mailTagsKeyWords":["todo"]} Message-Id: <47F95813-0166-4F64-90DA-BEFA2325D76D@gmail.com> References: To: Vincent Jacques X-Mailer: Apple Mail (2.2070.6) Subject: Re: [Caml-list] bisect-report and including directories --Apple-Mail=_7734560D-D5E8-40E9-9672-75FA7A7D6341 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 Alan, This doesn=E2=80=99t appear to be a problem in bisect-ppx-report. Since the .out file format is unchanged from Bisect to Bisect_ppx, perhaps you could install Bisect_ppx for the report tool, and try using that. I would be curious to know if it helps. Best, Anton > On Mar 11, 2016, at 01:53, Vincent Jacques = wrote: >=20 > I think I've had exactly the same problem. >=20 > IIRC it was specific to html reports: other formats worked. >=20 > My work-around was to run bisect-report in a dedicated, temporary, direct= ory where I copied all the sources. >=20 > 2016-03-11 8:33 GMT+01:00 Alan Schmitt >: > Hello, >=20 > After moving things around in a project, I'm having trouble generating > bisect reports. This works (in the "interp" directory): >=20 > % bisect-report -I _build -html ../report ../bisect*.out >=20 > but this does not work (in the directory above): >=20 > % bisect-report -I interp/_build -html report bisect*.out > *** system error: src/extract/JsInterpreterBisect.ml: No such file or d= irectory >=20 > The file is there though: >=20 > % ls interp/_build/src/extract/JsInterpreterBisect.ml > interp/_build/src/extract/JsInterpreterBisect.ml >=20 > Have other bisect users encountered this issue? >=20 > Thanks a lot, >=20 > Alan >=20 > -- > Openpgp Key ID : 040D0A3B4ED2E5C7 > Monthly Athmospheric CO=E2=82=82 (2016-02, Mauna Loa Obs.): 404.02 >=20 >=20 >=20 > --=20 > Vincent Jacques > http://vincent-jacques.net >=20 > "S'il n'y a pas de solution, c'est qu'il n'y a pas de probl=C3=A8me" > Devise Shadock --Apple-Mail=_7734560D-D5E8-40E9-9672-75FA7A7D6341 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8
Al= an,

This doesn=E2=80=99t appear to be a problem in bisect-ppx-report. Since = the
.out file format is unchanged from Bisect to Bisec= t_ppx, perhaps you
could install Bisect_ppx for the re= port tool, and try using that.

I would be curious to know if it helps.

Best,
Anton=

On Mar 11, 2016, at 01:53, Vincent Jacques <vincent@vincent-jacques.net> wro= te:

I think I've had exactly the same probl= em.

IIRC it was specific to html reports: othe= r formats worked.

My work-around was to = run bisect-report in a dedicated, temporary, directory where I copied all t= he sources.

<= div class=3D"gmail_quote">2016-03-11 8:33 GMT+01:00 Alan Schmitt <alan.schmitt@polytechnique.org>:<= br class=3D"">
Hello,

After moving things around in a project, I'm having trouble generating
bisect reports. This works (in the "interp" directory):

  % bisect-report -I _build -html ../report ../bisect*.out

but this does not work (in the directory above):

  % bisect-report -I interp/_build -html report bisect*.out
  *** system error: src/extract/JsInterpreterBisect.ml: No such file o= r directory

The file is there though:

  % ls interp/_build/src/extract/JsInterpreterBisect.ml
  interp/_build/src/extract/JsInterpreterBisect.ml

Have other bisect users encountered this issue?

Thanks a lot,

Alan

--
Openpgp Key ID : 040D0A3B4ED2E5C7
Monthly Athmospheric CO=E2=82=82 (2016-02, Mauna Loa Obs.): 404.02



--
Vincent J= acques
http://vincent-jacques.net

= "S'il n'y a pas de solution, c'est qu'il n'y a pas de probl=C3=A8me"
            Devise Shadock

= --Apple-Mail=_7734560D-D5E8-40E9-9672-75FA7A7D6341--