From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 0D3767FBEC for ; Wed, 14 Jan 2015 20:48:41 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of dario.teixeira@nleyten.com) identity=pra; client-ip=217.70.183.196; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dario.teixeira@nleyten.com"; x-sender="dario.teixeira@nleyten.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of dario.teixeira@nleyten.com) identity=mailfrom; client-ip=217.70.183.196; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dario.teixeira@nleyten.com"; x-sender="dario.teixeira@nleyten.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@relay4-d.mail.gandi.net) identity=helo; client-ip=217.70.183.196; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dario.teixeira@nleyten.com"; x-sender="postmaster@relay4-d.mail.gandi.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvkAAIbHtlTZRrfEnGdsb2JhbABbhDSDAcoJQwEBAQEBEQEBAQEBBg0JCRQuhDYVVSECJgJfG4gorWqPRpRFgSGRR4FBBYQKkU6DBohwhECDOwKBZwELAYIcgjR+AQEB X-IPAS-Result: AvkAAIbHtlTZRrfEnGdsb2JhbABbhDSDAcoJQwEBAQEBEQEBAQEBBg0JCRQuhDYVVSECJgJfG4gorWqPRpRFgSGRR4FBBYQKkU6DBohwhECDOwKBZwELAYIcgjR+AQEB X-IronPort-AV: E=Sophos;i="5.07,757,1413237600"; d="scan'208";a="96438132" Received: from relay4-d.mail.gandi.net ([217.70.183.196]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 14 Jan 2015 20:48:40 +0100 Received: from mfilter30-d.gandi.net (mfilter30-d.gandi.net [217.70.178.161]) by relay4-d.mail.gandi.net (Postfix) with ESMTP id 31D67172055 for ; Wed, 14 Jan 2015 20:48:40 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at mfilter30-d.gandi.net Received: from relay4-d.mail.gandi.net ([217.70.183.196]) by mfilter30-d.gandi.net (mfilter30-d.gandi.net [10.0.15.180]) (amavisd-new, port 10024) with ESMTP id ohpzdXxJCzjz for ; Wed, 14 Jan 2015 20:48:38 +0100 (CET) X-Originating-IP: 10.58.1.142 Received: from webmail.gandi.net (unknown [10.58.1.142]) (Authenticated sender: dario.teixeira@nleyten.com) by relay4-d.mail.gandi.net (Postfix) with ESMTPA id E72EF1720A1 for ; Wed, 14 Jan 2015 20:48:38 +0100 (CET) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Date: Wed, 14 Jan 2015 19:48:38 +0000 From: Dario Teixeira To: caml-list Message-ID: <613c24f6412e9cd1d9aae73401e1a4e9@nleyten.com> X-Sender: dario.teixeira@nleyten.com User-Agent: Roundcube Webmail/0.9.5 Subject: [Caml-list] Telling OCamlbuild via _tags that a file has no dependencies Hi, (I was tipped off off-list that my previous emails on this subject may have been eaten by an over-zealous spam-filter. Hopefully a change of domain will take care of that problem). To summarise, I'm trying to use 4.02's newfangled no-alias-deps on a project whose build system is generated via OASIS. Problem is, OASIS uses OCamlbuild, which relies on OCamldep, which is oblivious to no-alias-deps. Nevertheless, for this particular use case one could get around OCamldep's limitations simply by telling OCamlbuild that a given file has *no* dependencies, and therefore that it should not invoke OCamldep for it. I know that OCamlbuild's API includes a non_dependency function. However, to make integration with OASIS easier, it would be useful if one could also express the non dependency using only _tags. Is this at all possible somehow? Or can someone think of an alternative method of achieving the same goal? Thanks in advance for your attention! Best regards, Dario Teixeira