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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 9CCC57F75C for ; Wed, 10 Sep 2014 07:37:50 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.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=mail3-smtp-sop.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 (mail3-smtp-sop.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=mail3-smtp-sop.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 (mail3-smtp-sop.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=mail3-smtp-sop.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: AvcBAJziD1SFBoIFl2dsb2JhbABZFoNKVwHKSYdMAYEgEAEBAQEBCBYHPoQEAQQBOgYDATUBAQMLC0ZXBohNBw6nC4YAAoo0hWIBEAEGjxozB4MvgR2LOYo9hwKBX4VikV1dAQGCTQEBAQ X-IPAS-Result: AvcBAJziD1SFBoIFl2dsb2JhbABZFoNKVwHKSYdMAYEgEAEBAQEBCBYHPoQEAQQBOgYDATUBAQMLC0ZXBohNBw6nC4YAAoo0hWIBEAEGjxozB4MvgR2LOYo9hwKBX4VikV1dAQGCTQEBAQ X-IronPort-AV: E=Sophos;i="5.04,496,1406584800"; d="scan'208";a="78389893" Received: from rabbit.math.nagoya-u.ac.jp (HELO mailhost.math.nagoya-u.ac.jp) ([133.6.130.5]) by mail3-smtp-sop.national.inria.fr with ESMTP; 10 Sep 2014 07:37:48 +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 B2AF363AF; Wed, 10 Sep 2014 14:37:45 +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 41203412B; Wed, 10 Sep 2014 14:37:45 +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=GsHeev3oJjFw4n6cjKGpDIkJWbM=; b=BViBMhviLU4p9sPAS1KApbpyvpHr ucH4a6IL4rJYFurhi0rwbgeDbpAsiLOJF93tL9sW+Y7Un8yJdXI3tjWO3oRg8VNg 5KEOHXLZzp4gDumm4QDnu0CVr07NMvnlc47QbIrzS5AnFPiiVOG8Xvz5t5XoYnpa yOvhsR9+IWttHNM= 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=H4Wr7tkCu0cGFV4V0PH8MkJQMWSXQTXsnsVdH/aYX7xmaxFVV9YyABP0JrznmQ2Zcl33hIcm46Gc2D9MuAcgn5yXz6WqTrsQjcxO2PMO3FnQZL9QyXFrkMrdJE5OJD6HtcVBdjqEQiYLKHX3BWu7OB1EV+LU5rR0sHekV0xSWWo=; 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 88D164119; Wed, 10 Sep 2014 14:37:44 +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:37:43 +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 (added link) 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 [2], 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 [2] http://www.math.nagoya-u.ac.jp/~garrigue/papers/index.html#modalias