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 61B7E7EE79 for ; Fri, 15 Apr 2016 21:21:04 +0200 (CEST) IronPort-PHdr: 9a23:ZgZGlx3kQuINjLrlsmDT+DRfVm0co7zxezQtwd8ZsegTK/ad9pjvdHbS+e9qxAeQG96Lu7QZ1KGM7/6ocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC34LqiKvop8ObSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6Lpyv/JHBK7zeqB9Sb1DEHxyOGkw4IjvtALfZQqJ/HoVFGsMxElmGQ/AuTr6U4u5lzbgqupskH2fINfqTaFyUjSv849kTRbpjGEMMDtvozKfsdB5kK8O+EHpnBd42YOBOIw= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=murthy.chet@gmail.com; spf=Pass smtp.mailfrom=murthy.chet@gmail.com; spf=None smtp.helo=postmaster@mail-ig0-f176.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of murthy.chet@gmail.com) identity=pra; client-ip=209.85.213.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="murthy.chet@gmail.com"; x-sender="murthy.chet@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of murthy.chet@gmail.com designates 209.85.213.176 as permitted sender) identity=mailfrom; client-ip=209.85.213.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="murthy.chet@gmail.com"; x-sender="murthy.chet@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-ig0-f176.google.com) identity=helo; client-ip=209.85.213.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="murthy.chet@gmail.com"; x-sender="postmaster@mail-ig0-f176.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CIAAC4PhFXi7DVVdFdg1Y1fQaoBZIsAQ2BcRqFdAKBNQc4FAEBAQEBAQEBEQEBAQgLCwkfMYItghUBAQMBEhEdARseAwwGBQQHNwICIQEBEQEFARwGEyKHcQEDCgiiUYExPjGLNoFqgleHZAoZJw1RhEEBAQgBAQEBFgEFCgWKXYJBhH6CVgWORoRXhD4xhXiGIYF1ZY4sh0yGIBEegQ4PDwEBgjkegXMcMIlLAQEB X-IPAS-Result: A0CIAAC4PhFXi7DVVdFdg1Y1fQaoBZIsAQ2BcRqFdAKBNQc4FAEBAQEBAQEBEQEBAQgLCwkfMYItghUBAQMBEhEdARseAwwGBQQHNwICIQEBEQEFARwGEyKHcQEDCgiiUYExPjGLNoFqgleHZAoZJw1RhEEBAQgBAQEBFgEFCgWKXYJBhH6CVgWORoRXhD4xhXiGIYF1ZY4sh0yGIBEegQ4PDwEBgjkegXMcMIlLAQEB X-IronPort-AV: E=Sophos;i="5.24,488,1454972400"; d="scan'208,217";a="214399642" Received: from mail-ig0-f176.google.com ([209.85.213.176]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 15 Apr 2016 21:21:03 +0200 Received: by mail-ig0-f176.google.com with SMTP id f1so27852323igr.1 for ; Fri, 15 Apr 2016 12:21:03 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to; bh=ZbldX5A+2uqzm8GL0saiYRzKE4aB7rKa5ZqHfFEt8Ig=; b=BPH57tYrCzKwEcHYRgy4nanRp58N26I/BZi79g4XX5qj+wKsmzPW2sLfQa4tqEtFvg qFEUjBztNtD2F7PNsJC1c3iJifoQrsjEkZwpDvhRV8xUqR6iqqsPopptBdNs6xNHzi7w e+hun66ZosWITMtm7pgwOd48qt164zkazuq+apGXh7ER1yBq2aF0yHrJO+I5jp4VFy0E /lEfvKQv6rryw06O1TsplPB9N6jBeL0v5HnhdLgE39h7rS54NH1XMxb120+8cw2dqFzM KrcwCZylBvAsttQ9lDiwqtZZMtVRmJUrgPSKNkTqOI4CnxdCDufIR8VxuAdObwofXT5z 700w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to; bh=ZbldX5A+2uqzm8GL0saiYRzKE4aB7rKa5ZqHfFEt8Ig=; b=F1L53Us8akh3tJdvX49ahUk/WLJrcHAfs0O/uPBYXrbaMdhKqcIEm3R818fIxz5iaw Hmo4sziLRquiZYws3nR7aqoppsSZwYRCdIEkph79qkHC/L2M4ULO0yCJ3u5d7esP4MLZ YgNMh096V2R5ppyicyjCpflHXyjsPUSY00pmh9VNGsCt7DmD/SAGEwi3tGumQtvhUqiP Ibglub70YQR2uIr3Wog6cI+xdcak0o1Ph15i011kxHFmFf2do32L6AmCMhi+iDylUKXW jvFMfgu/ywdtLu5wksDWnlACU295xKBd8kBqvl0mHmFusOLjwIiTjCzzg8P8vHE4nmVN 2HoA== X-Gm-Message-State: AOPr4FXIzV+OtuZ7S0OJnKOcNGIOhcj+hPCSspogHVxlqIiOquSOZXojcl6Evx4PoyYjb6Vq2xvvcqGj4MGFCg== MIME-Version: 1.0 X-Received: by 10.50.14.132 with SMTP id p4mr6853342igc.40.1460748061456; Fri, 15 Apr 2016 12:21:01 -0700 (PDT) Received: by 10.107.35.212 with HTTP; Fri, 15 Apr 2016 12:21:01 -0700 (PDT) In-Reply-To: References: Date: Fri, 15 Apr 2016 12:21:01 -0700 Message-ID: From: Chet Murthy To: caml-list Content-Type: multipart/alternative; boundary=14dae93a0ffd4f5e1e05308ae954 Subject: Re: [Caml-list] oasis bug with dependencies? --14dae93a0ffd4f5e1e05308ae954 Content-Type: text/plain; charset=UTF-8 Ah. A little more detail (maybe I'm on the way to debugging ... but really new to this code): I find that the problem appears to be in the _tags file. Relevant section reproduced below: # Executable foo_test "foo_test.native": pkg_bitcoin "foo_test.native": pkg_str "foo_test.native": use_foolib <*.ml{,i,y}>: pkg_bitcoin <*.ml{,i,y}>: pkg_str <*.ml{,i,y}>: use_foolib # OASIS_STOP the lines with "<*.ml{,i,y}>" and pkg_bitcoin, use_foolib are produced when the Executable is uncommented. And if I comment out those two lines, I get the expected (it seems to me, correct) behaviour (which is that when building foo.ml, "-package bitcoin" should not be applied. --chet-- On Fri, Apr 15, 2016 at 12:12 PM, Chet Murthy wrote: > > Hi, I think I've found an oasis bug. > > (*) ocaml 4.02.3 > (*) oasis 0.4.5 > > ========================================== > > In the attached little tarball, there's an _oasis file. In that file, > there's a library, "foolib", and an executable "foo_test". > > (1) foo_test depends on "bitcoin"; "foolib" does not > > (2) building the project with "foo_test" commented-out ends up -not- > depending on "bitcoin" anywhere > > (3) with "foo_test" uncommented,the build of "foolib"'s modules (foo.ml) > has "-package bitcoin". > > In short, it appears that the deps of foo_test are leaking to foolib, even > though foolib doesn't depend on foo_test (it's the other way around). > > Hope this is clear. > > Cheers, > --chet-- > > > --14dae93a0ffd4f5e1e05308ae954 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Ah.=C2=A0 A little more detail (maybe I'm on the way t= o debugging ... but really new to this code):

I find tha= t the problem appears to be in the _tags file.=C2=A0 Relevant section repro= duced below:

# Executable foo_test
= "foo_test.native": pkg_bitcoin
"foo_test.native&qu= ot;: pkg_str
"foo_test.native": use_foolib
&l= t;*.ml{,i,y}>: pkg_bitcoin
<*.ml{,i,y}>: pkg_str
<*.ml{,i,y}>: use_foolib
# OASIS_STOP
the lines with "<*.ml{,i,y}>" and pkg_bitcoin,= use_foolib are produced when the Executable is uncommented.=C2=A0 And if I= comment out those two lines, I get the expected (it seems to me, correct) = behaviour (which is that when building foo.ml= , "-package bitcoin" should not be applied.

<= div>--chet--


On Fri, Apr 15, 2016 at 12:12 PM, Chet Murthy <m= urthy.chet@gmail.com> wrote:

Hi, I think I've found an oasis bug.
<= div>
(*) ocaml 4.02.3
(*) oasis 0.4.5
=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=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
<= br>
In the attached little tarball, there's an _oasis file.= =C2=A0 In that file, there's a library, "foolib", and an exec= utable "foo_test".

(1) foo_test depends = on "bitcoin"; "foolib" does not

(2) building the project with "foo_test" commented-out ends up = -not- depending on "bitcoin" anywhere

(3= ) with "foo_test" uncommented,the build of "foolib"'= ;s modules (foo.ml) has &qu= ot;-package bitcoin".

In short, it appears th= at the deps of foo_test are leaking to foolib, even though foolib doesn'= ;t depend on foo_test (it's the other way around).

=
Hope this is clear.

Cheers,
--chet-= -



--14dae93a0ffd4f5e1e05308ae954--