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 D3F017FB38 for ; Mon, 22 Dec 2014 12:38:40 +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.90.154; 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.90.154 as permitted sender) identity=mailfrom; client-ip=98.138.90.154; 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@nm6-vm2.bullet.mail.ne1.yahoo.com) identity=helo; client-ip=98.138.90.154; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="postmaster@nm6-vm2.bullet.mail.ne1.yahoo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjoBALYBmFRiilqaeWdsb2JhbABODYIGgioMgnizfJU0gRUHFgEBAQEBEQEBCQsMCBIwhB4YCBUBAjcBFB8CDRkCMQEOAQYYiCoBAQIRqVSHQogCgWsEgnOBcYkGASMDASMDhUkBAQgBAQEBAQEVAQYMAQEBgRKOHYMjgUEFg32REoF4gQmEdh9YhxiCak+EEG+CQwEBAQ X-IPAS-Result: AjoBALYBmFRiilqaeWdsb2JhbABODYIGgioMgnizfJU0gRUHFgEBAQEBEQEBCQsMCBIwhB4YCBUBAjcBFB8CDRkCMQEOAQYYiCoBAQIRqVSHQogCgWsEgnOBcYkGASMDASMDhUkBAQgBAQEBAQEVAQYMAQEBgRKOHYMjgUEFg32REoF4gQmEdh9YhxiCak+EEG+CQwEBAQ X-IronPort-AV: E=Sophos;i="5.07,623,1413237600"; d="scan'208";a="114501135" Received: from nm6-vm2.bullet.mail.ne1.yahoo.com ([98.138.90.154]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 22 Dec 2014 12:38:40 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1419248318; bh=DIAHrDpvQu2R3qj8lh45+o80UilotVqxGSEcEWBUnHE=; h=Date:From:Reply-To:To:Subject:From:Subject; b=uCQA9g+8Vrh8yzh7KUJqT4XCilInkp0Nrmlso6flVYfnVoRrvS4lLut1attcCOu+zwsJ49mzsCom2okuu3DPImKXn182JqgcgTFD/ZefF6qMUajKbSgoO/iAusZWFiV6CiJLIiTWZ9W3vrvZ6Dc/lwmMap9eMDl7Yt0Z2p1tROYus9+5Ua5LhLBJ0ZUEONCBYej9ZPV2Lgpcy5+FKhWP6U1G2heq8jlNarGzH9/iIFU7xN1pJDSZs85pp6kyxeMn9+LT7vobVF5rpeCcObtnsn4nuAORW48bg4QWQDt0T8GarkQKo5W4OAjOK+Qzvo/HUyCQ6rF11CJ0U4HklnvvyA== DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s2048; d=yahoo.com; b=SDqnLfHA8cJrQdKY+u3srpmdAProRV4x7VB+eRT29rAsObrbKaFJSxzSKJ93A0FszjjlURNVauNAs9jvi+A1RFpnROjQa+hmIP9hzujwJoPrjCe7FQcRhBq8mtbgBMC9HhjB/Ewj9Sx92YitXEZAUMxCtce94z8eKNbAcNceqMaA3Ku2g+eYk7xYC4KG8uwvkrO2JPJkCu+ucMIrewjZozMB+/DNtm1Pp0edX8a6pFo1QgV2nmOcjfs9ayFe8D+6k7qW6Dord5tswWYbx1kiIv16oH1AQ99cE9XWVkfu2G0IP2rTF+0G4Qj44wPc4iW56r2b+wgbXfUeMxTJopGBTA==; Received: from [98.138.100.111] by nm6.bullet.mail.ne1.yahoo.com with NNFMP; 22 Dec 2014 11:38:38 -0000 Received: from [98.138.86.156] by tm100.bullet.mail.ne1.yahoo.com with NNFMP; 22 Dec 2014 11:38:38 -0000 Received: from [127.0.0.1] by omp1014.mail.ne1.yahoo.com with NNFMP; 22 Dec 2014 11:38:38 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 687586.9068.bm@omp1014.mail.ne1.yahoo.com X-YMail-OSG: 0._FxpUVM1n6KWCb9US4G3JzG125KyjAOFzPEnHsrCNwChW1jdBTQoVk89959R0 qYaJSdM0N0f77UhIFBckyPUrNTJd6K_JVZ39XWucfI7Sp8uaegrXlcgncDUIQ3CyUAVAzJBTGnM. uUmZoQizAAA6jQ0sAYcl1WjeFYHzuZpwLxV52v82wgU1a3tyPIfOjBnKkQuEf.tAKnbC9UCvkCU1 tgZ2pYgTJuUpIGG7.6kDlKgJEEqSTJ_ZHv.MzNtCbUu1NE2vcmG3z7lycDY9ZU9JNxpqcGkPqbsc 7H542WsgDv1iMOC8VKDX8f970JHpu4djfhTf4dftyz1OzhRWIKVydL2lNcIbddJa3FjcF_.32GXQ igRtTumVggqKVot.irx_vPTJZxW4BDeUPSDy9jpXlqdavc8qa5_ZvdwvZ7yiwrPFHkCuDa9sCUzs ORJ7OmD7p1VsZ2mdhOSzbeCcVMoBrpj3pfpoUUw5VdwB2xOodUW4K3OxYrgNvjtajFOEmamE1lCE z307ogYzMu24luCw.u34Mc7WrRSKluR4C_0QQCdkpPylXI3ej2BD7m_teYbG._7ViEZkWbiYHAQt bqOYiFdJYtaVEcLF9jkr_DnRfHoQ.MmzDaFP8SyFiTekQSXQXcVc8EV_M4d34Mboaz6sPHEl7NdF b_bS8y0.2SwZWeiya Received: by 98.138.101.163; Mon, 22 Dec 2014 11:38:38 +0000 Date: Mon, 22 Dec 2014 11:38:26 +0000 (UTC) From: Dario Teixeira Reply-To: Dario Teixeira To: OCaml mailing-list Message-ID: <1684764369.76718.1419248306617.JavaMail.yahoo@jws100105.mail.ne1.yahoo.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Subject: [Caml-list] OCamlbuild, OCamldep, and -no-alias-deps Hi, I'm trying to use OASIS to produce the build system for a project that uses the module aliases feature introduced in OCaml 4.02. As a first step, I'm trying a dummy project with just the four following files: src/foo_a.ml: #### let a = 1 #### src/foo_b.ml: #### let b = 2 #### src/foo_c.ml: #### let c = A.a + B.b #### src/foo.ml: #### module A = Foo_a module B = Foo_b module C = Foo_c #### The _oasis file is as follows (minus some boilerplate): #### OASISFormat: 0.4 Name: foo Plugins: META (0.4), DevFiles (0.4) BuildTools: ocamlbuild, make Library "foo" Path: src Modules: Foo_a, Foo_b, Foo_c, Foo #### After running "oasis setup", I've added the following two lines to the generated _tags file: : no_alias_deps and not : open(Foo) Unfortunately, this does not work. Running "make" produces a circular build error (the sort one would expect without -no-alias-deps), and looking at the _log file, it seems the -no-alias-deps option is not being passed down to OCamldep. Am I missing something, or is there really a bug somewhere? Thanks in advance for your attention! Best regards, Dario Teixeira