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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id CA0437F026 for ; Fri, 11 Mar 2016 08:53:02 +0100 (CET) IronPort-PHdr: 9a23:uybukhCaSZ49TOytqLMsUyQJP3N1i/DPJgcQr6AfoPdwSP7yr8bcNUDSrc9gkEXOFd2CrakU1KyG4+u6BzFIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/niKbiq9aJPVgArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIZoGJ/3dKUgTLFeEC9ucyVsvJWq5lH/Sl6m4nIaGl4dkh9JHxSNuBj+V5G3qSD6s+thxAGCOsnnUb0/WTKj9rpmDhjyh3FUGSQ+9TTpi8p7gaRH6DCorAVizpWcNJ+UMvFzeL/1Y9IcTmdHQoNTXidYH46nKY0CE7xSbq5js4Dhqg5W/lOFDg62Cbaqk2cQiw== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jacquev6@gmail.com; spf=Pass smtp.mailfrom=jacquev6@gmail.com; spf=None smtp.helo=postmaster@mail-qg0-f53.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of jacquev6@gmail.com) identity=pra; client-ip=209.85.192.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jacquev6@gmail.com"; x-sender="jacquev6@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of jacquev6@gmail.com designates 209.85.192.53 as permitted sender) identity=mailfrom; client-ip=209.85.192.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jacquev6@gmail.com"; x-sender="jacquev6@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qg0-f53.google.com) identity=helo; client-ip=209.85.192.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jacquev6@gmail.com"; x-sender="postmaster@mail-qg0-f53.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DqAgApeOJWjDXAVdFeg1w0bQaqEpAhggqHJAc6EgEBAQEBAQEBEAEBAQgNCQkfMUESAYFZghUBAQMBEhEdATgBAwELAQUDAgQHNwICIhIBBQEcBhMbB4dtAwoIkSuPQYExPjGLNoRBhWwnDYQ/AQsBFwEFCgWFEYU6gR+GG4E6BZc+hW2ID2SOHo0yER6BDycOYoMwOy6BCogMJIEXAQEB X-IPAS-Result: A0DqAgApeOJWjDXAVdFeg1w0bQaqEpAhggqHJAc6EgEBAQEBAQEBEAEBAQgNCQkfMUESAYFZghUBAQMBEhEdATgBAwELAQUDAgQHNwICIhIBBQEcBhMbB4dtAwoIkSuPQYExPjGLNoRBhWwnDYQ/AQsBFwEFCgWFEYU6gR+GG4E6BZc+hW2ID2SOHo0yER6BDycOYoMwOy6BCogMJIEXAQEB X-IronPort-AV: E=Sophos;i="5.24,319,1454972400"; d="scan'208,217";a="207159563" Received: from mail-qg0-f53.google.com ([209.85.192.53]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 11 Mar 2016 08:53:02 +0100 Received: by mail-qg0-f53.google.com with SMTP id y89so91880578qge.2 for ; Thu, 10 Mar 2016 23:53:02 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:date:message-id:subject :from:to:cc; bh=UiQLHPgsJVs7Cah6VOt4sHgRqlsaIYH5U1SC217YPg8=; b=XP0XiBv07lGy6bQH3zQz2Hp3K8BsTMKvLw7rNMMoxY9o8oAzO/C3fY8c7WXQx73vJu zL53remt1D4R3dK1oUtlxMj53EFy/n/06CDwAgRog+PqGqnrRhv7UX2SyTUFbccEbSdn MDXoVNgWgxO3+gKT/S5csL39y47+L1VKdYTmT599DBrhpBogS8en6HW9NCdS5IppYNh2 RS8auZTob+pELw5haY43ST5zOEDKzs0ksOAcV/34ry3Ho13cwJ8K46CxyBXhm5SV9w5D oEICxHV4DTQ32jLuY0virOoXG2HGK2C/7inV8clZiIpkO0CrXJz3cV3Ollr71EogqHUv AIsQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:sender:in-reply-to:references:date :message-id:subject:from:to:cc; bh=UiQLHPgsJVs7Cah6VOt4sHgRqlsaIYH5U1SC217YPg8=; b=WjFt8Nxc8wLwisQt0xLgano18dLQhxEi0Zb40syygxvid4l9BB9zF+RCtp6Fomf3fQ 8UHhXurTyBNytNUH3UENc8mvL+FOzB4jumzT1lfEIzLtnCqDfJcgNlUj+xhmNfv/LgUt XwIQWj62SklV5tC09Xr3V5K38U/oTmXh5GjA2cpCj/rebdAL1u/dhAIRQb3pt9egimIY IiI6Tkr8C0ZSXtYlEGJdKY9scR7O4JkxI6A1cJ1W96ERoCaQiT6wI1t3c5lfGVMhpFH3 4uZXqyvndUbUNrDKgiU3e7qYfKWQ0kLxct5Qll3U3sWh0PsfxT70AIVEIQKhI/sU2+IQ jmow== X-Gm-Message-State: AD7BkJISyZAFVBNEoobfB9jPXoFlc092nPbYGko00gv7pmsQLFHv0PtzVmMss983eOItaHx59DHUDm937c4thw== MIME-Version: 1.0 X-Received: by 10.140.22.212 with SMTP id 78mr9993678qgn.77.1457682780850; Thu, 10 Mar 2016 23:53:00 -0800 (PST) Sender: jacquev6@gmail.com Received: by 10.55.36.133 with HTTP; Thu, 10 Mar 2016 23:53:00 -0800 (PST) In-Reply-To: References: Date: Fri, 11 Mar 2016 08:53:00 +0100 X-Google-Sender-Auth: DUPSHerBezlrkEk-9vSiyh6unN0 Message-ID: From: Vincent Jacques To: Alan Schmitt Cc: OCaml Mailing List Content-Type: multipart/alternative; boundary=001a11c1570a59125b052dc13898 X-Validation-by: vincent@vincent-jacques.net Subject: Re: [Caml-list] bisect-report and including directories --001a11c1570a59125b052dc13898 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable I think I've had exactly the same problem. IIRC it was specific to html reports: other formats worked. My work-around was to run bisect-report in a dedicated, temporary, directory where I copied all the sources. 2016-03-11 8:33 GMT+01:00 Alan Schmitt : > 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 or > 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 > --=20 Vincent Jacques 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 --001a11c1570a59125b052dc13898 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
I think I've had exactly the same problem.
IIRC it was specific to html reports: other formats worked.

M= y work-around was to run bisect-report in a dedicated, temporary, directory= where I copied all the sources.

2016-03-11 8:33 GMT+01:00 Alan Schmitt <alan.schmitt@polytechnique.org>:
Hello,

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

=C2=A0 % bisect-report -I _build -html ../report ../bisect*.out

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

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

The file is there though:

=C2=A0 % ls interp/_build/src/extract/JsInterpreterBisect.ml
=C2=A0 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 Jacques
http://vincent-jacques.net

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