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 sympa.inria.fr (Postfix) with ESMTPS id CFAF67FBCE for ; Tue, 13 Jan 2015 15:39:46 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=pra; client-ip=98.138.91.116; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of darioteixeira@yahoo.com designates 98.138.91.116 as permitted sender) identity=mailfrom; client-ip=98.138.91.116; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.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@nm23-vm6.bullet.mail.ne1.yahoo.com) identity=helo; client-ip=98.138.91.116; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="postmaster@nm23-vm6.bullet.mail.ne1.yahoo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArAAAFIttVRiilt0lGdsb2JhbABbggaBUlgMgnmzPY9OhXGBDwdDAQEBAQERAQEBAQcLCwkSMIQeGAQEFQE5FR8CDRkCMQEOAQYYiCoBAQIRDatjj0aBawSCc4FxiGIBIwMBIwODWwEBCAEBAQEBARYGDAIBgRKOJIMjgUEFkgeFTIELhQsfWYctgm5PhBBvAYJCAQEB X-IPAS-Result: ArAAAFIttVRiilt0lGdsb2JhbABbggaBUlgMgnmzPY9OhXGBDwdDAQEBAQERAQEBAQcLCwkSMIQeGAQEFQE5FR8CDRkCMQEOAQYYiCoBAQIRDatjj0aBawSCc4FxiGIBIwMBIwODWwEBCAEBAQEBARYGDAIBgRKOJIMjgUEFkgeFTIELhQsfWYctgm5PhBBvAYJCAQEB X-IronPort-AV: E=Sophos;i="5.07,750,1413237600"; d="scan'208";a="116837116" Received: from nm23-vm6.bullet.mail.ne1.yahoo.com ([98.138.91.116]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 13 Jan 2015 15:39:45 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1421159984; bh=MdrmFyyypA5gvAdDNIGfo5uSjMF1a5Pe6XU5LQulneM=; h=Date:From:Reply-To:To:Subject:From:Subject; b=CRxn+tGXxz4vaLl3S4cQhqz7qhLB1dfhF6SmoLFuqRcf0AlXDIk/3eGHGH+7uaxT7jEu3Vv6xdE3llmW5jNHMmy9cDD6PwNXZ1sbuiON+EC3VvsdK2a7COVE1W39syZq4QBcVwJhsaxq7l5QeyvyeLTTKlwng1OfiHNNZajVnxfrAeDR3DnOyIOlbML0j2ViFVJmsJO8p4scGZG+Lb0n7lBGPPAjNrCyAEfpsvR3FdNt3+u7hUHU1Y0kLYxx8USclGPXLkOorvskUH1CWPKBXQizFCC+NT8tdE5NrgYasDzBkWmKS9JPfQdRzITdEOgM3dlWzm3KI7zMjmbgfGXK6A== Received: from [98.138.100.113] by nm23.bullet.mail.ne1.yahoo.com with NNFMP; 13 Jan 2015 14:39:44 -0000 Received: from [98.138.88.238] by tm104.bullet.mail.ne1.yahoo.com with NNFMP; 13 Jan 2015 14:39:44 -0000 Received: from [127.0.0.1] by omp1038.mail.ne1.yahoo.com with NNFMP; 13 Jan 2015 14:39:44 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 227296.42151.bm@omp1038.mail.ne1.yahoo.com X-YMail-OSG: 3m4eayYVM1kXjol1yDVPSiO2C0.1TBY8Pahr4QZw5YD9Eu79C2qNuAErqz9Z_o1 oalItPFu8vqz95_ebfMOomXWzNZXXI8IvgBE2Qe95is8QhPJoSBr9vkwHdBpz2TRN1yz3Hv0aLr4 rZGMmTfeUHFpDsNkY0.sPCs7dxvhuuN4DX3pSExS2dDosHbQADW.k9jBxR2t3lCAydmnPngnLDHZ uS.fv6SorSvkpaN48Tumxmv60L3zeBCdjaIvHWzHeCkR2dNQMkawEsbj1o3e6IzK5dT4GiAz4Szp kEExhWcpbfHjg5ngxdo32af5bamIA4SNHk7RDRQmGHIyzhmDNgEGJw6vH1y3zwL_AsdSyMwhCGQB OT982pVCZgQM3MkXIhbMmlxTCA_WzvVxYirD_Fqt06lKBAkdl6zNQ17WAD5l8P2tK3y9VcjhnDO4 UNPESrLlmpzBxbsts0Zt.ie5oO88gEEYCLyQNNV7TeE9Fx77yI3qsnL3cPvA2tYLFGSFEH4shygG FxLdFXQxgmfNyeWleJKyD3_4AeW6d0Uwy4mcktv5hss2CJ7P4k827yYjzq2ocCyAv1DzTDgenlYj 1FRZMqSKlUsY5EN3paDNZouh67VndVfwu935tiC1JFs.w0a42h90QEQEsF_ceAATB6pkV7Xfznro WhTr7t_U_l5KAIZNhnP40mFUWpp6PmSTrKulg70dIYirFjV8G18Go987ljgg6R2IvwNx6hvAJl0M tMa25FoKpzpptdc7R.Iy8bIL80c5cKGmot2u9 Received: by 98.138.105.210; Tue, 13 Jan 2015 14:39:43 +0000 Date: Tue, 13 Jan 2015 14:38:50 +0000 (UTC) From: Dario Teixeira Reply-To: Dario Teixeira To: OCaml mailing-list Message-ID: <1237960507.262399.1421159930645.JavaMail.yahoo@jws100108.mail.ne1.yahoo.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Subject: [Caml-list] OASIS and -no-alias-deps: the non-evil approach Hi, I still haven't given up on using -no-alias-deps with a OASIS/OCamlbuild build system, despite a critical component -- OCamldep -- seemingly not supporting -no-alias-deps in 4.02 [1]. I've made a small experiment which suggests it should be possible anyway, but I'll need a bit of help from someone who's more familiar with OASIS and OCamlbuild. I'm using the same dummy library I've described before [2]. Basically, I have three actual code files (foo_a.ml, foo_b.ml, foo_c.ml), plus a foo.ml which only declares module aliases. Due to ocamldep's obliviousness to -no-alias-deps, it infers that foo.ml depends on the 3 other modules, whereas each in turn also depends on foo.ml, resulting in a circular build. The small experiment I made was to rename ocamldep and to replace it with a small frontend that detects whether it's being called on foo.ml, in which case it declares no dependencies. Something like this: let () = match Sys.argv with | [| "ocamldep.opt"; "-modules"; "src/foo.ml" |] -> print_endline "src/foo.ml:" | x -> Unix.execv "/home/dario/.opam/4.02.1/bin/ocamldep.opt.orig" x Pure evil, but it works. Now, my question is: would it be possible to achieve the same result in plain OASIS/OCamlbuild, ie, without the evil? I reckon one would need to tag a certain file in such a way that any invocation of ocamldep for that file should be replaced with a string. Your thoughts? Thanks in advance for your time + best regards, Dario Teixeira [1] https://sympa.inria.fr/sympa/arc/caml-list/2014-09/msg00078.html [2] https://sympa.inria.fr/sympa/arc/caml-list/2014-12/msg00097.html