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 0702A7F75C for ; Wed, 10 Sep 2014 07:31:18 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of garrigue@math.nagoya-u.ac.jp) identity=pra; client-ip=133.6.130.5; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="garrigue@math.nagoya-u.ac.jp"; x-sender="garrigue@math.nagoya-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of garrigue@math.nagoya-u.ac.jp) identity=mailfrom; client-ip=133.6.130.5; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="garrigue@math.nagoya-u.ac.jp"; x-sender="garrigue@math.nagoya-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mailhost.math.nagoya-u.ac.jp) identity=helo; client-ip=133.6.130.5; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="garrigue@math.nagoya-u.ac.jp"; x-sender="postmaster@mailhost.math.nagoya-u.ac.jp"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvYBAKThD1SFBoIFl2dsb2JhbABZg2BXAcpJh0wBgSAQAQEBAQEIFgc+hAQBBAE6BgMBNQEBAwsLRlcGiE0HDqcLhgACijWFYgEQAQaPGjMHgy+BHYs5ij2HAoFfhWKRXV0Bgk4BAQE X-IPAS-Result: AvYBAKThD1SFBoIFl2dsb2JhbABZg2BXAcpJh0wBgSAQAQEBAQEIFgc+hAQBBAE6BgMBNQEBAwsLRlcGiE0HDqcLhgACijWFYgEQAQaPGjMHgy+BHYs5ij2HAoFfhWKRXV0Bgk4BAQE X-IronPort-AV: E=Sophos;i="5.04,496,1406584800"; d="scan'208";a="93873889" Received: from rabbit.math.nagoya-u.ac.jp (HELO mailhost.math.nagoya-u.ac.jp) ([133.6.130.5]) by mail2-smtp-roc.national.inria.fr with ESMTP; 10 Sep 2014 07:31:16 +0200 Received: from mailhost.math.nagoya-u.ac.jp (localhost [127.0.0.1]) by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTP id 679D263CB; Wed, 10 Sep 2014 14:31:15 +0900 (JST) Received: from mailhost.math.nagoya-u.ac.jp (localhost [127.0.0.1]) by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTP id 1E5B7412B; Wed, 10 Sep 2014 14:31:15 +0900 (JST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=math.nagoya-u.ac.jp; h= subject:mime-version:content-type:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; s=alpha; bh=zYI72koiQ8zrVwDwLz4icSKEHrQ=; b=NxfO1HT6n3zciTyD55Oa2WFVz0Z1 GaUV/Lz0Zo+KGm4oeww4j2q8JipQcTwspnOSN4MAXmXYfLmMuLTuafnBTWRCmHOE itjn/8tsBwSArEid8Codo8prohMsdV4jE3cYwGHet0rVmm5+9UHwXgkro/N8MQWD jBU9/0b+54sOZPA= DomainKey-Signature: a=rsa-sha1; h=Received:Subject:Mime-Version:Content-Type:From:In-Reply-To:Date:Cc:Content-Transfer-Encoding:Message-Id:References:To:X-Mailer; b=1Sje45zqDTAovcc0/kF/Eq+rUBMCdbuk4N9j54kip9L7DTn7x8cFdMofU21uuWIR/38KhGlYOI9L5fNQznXKgemGU/TZqef9WHcxo2vSTesBaNOQlfRoVQsUKDrulgx213BsU56qD6iuB5jiAupx0++1DwKzYUvwmQkXxdweFjg=; c=nofws; d=math.nagoya-u.ac.jp; q=dns; s=alpha Received: from [172.16.27.138] (unknown [150.100.253.38]) by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTPSA id DAE4F4119; Wed, 10 Sep 2014 14:31:14 +0900 (JST) Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.6\)) Content-Type: text/plain; charset=us-ascii From: Jacques Garrigue In-Reply-To: Date: Wed, 10 Sep 2014 14:31:14 +0900 Cc: OCaml Mailing List Content-Transfer-Encoding: quoted-printable Message-Id: References: To: Ashish Agarwal X-Mailer: Apple Mail (2.1878.6) Subject: Re: [Caml-list] ocamldep and module aliases On 2014/09/10 07:21, Ashish Agarwal wrote: > Is ocamldep 4.02 supposed to support the -no-alias-deps flag too? It does= n't, so I'm not sure how to implement the example at the end of Section 7.1= 7 [1] on a real library. Specifically, I use omake, which calls ocamldep, a= nd I don't see how to avoid it claiming circular dependencies even though I= 've added -no-alias-deps to the compilation flags. >=20 > [1] http://caml.inria.fr/pub/docs/manual-ocaml/extn.html#s%3Amodule-alias Indeed, this is not supported by ocamldep, and I'm not sure that it would do much sense to support it fully at this point, as what you need to do is going to depend on how you use module aliases. If you follow the recipe described in my ML workshop slides, what you can do is leave your files unmodified (short names both inside and outside), and use command line flags for copilation: ocamlopt -no-alias-deps -open Mylib -o mylibA.cmx a.ml If you do that, just use ocamldep to compute the dependencies without mylib.ml, and post-process the results to add a mylib prefix to all file na= mes. Once the common idioms become clearer, we will probably want to add some kind of support to ocamldep (to avoid this post-processing). Jacques Garrigue=