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 c5ff346549e7 (Postfix) with ESMTPS id 8BD585D6 for ; Wed, 31 Jul 2019 23:15:04 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,332,1559512800"; d="scan'208";a="394050935" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 01 Aug 2019 01:15:02 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 6214082719; Thu, 1 Aug 2019 01:15:02 +0200 (CEST) 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 409DA826BB for ; Thu, 1 Aug 2019 01:14:57 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=itz@very.loosely.org; spf=Pass smtp.mailfrom=itz@very.loosely.org; spf=Pass smtp.helo=postmaster@very.loosely.org IronPort-PHdr: =?us-ascii?q?9a23=3A88K+XxUYCqMr0J4YZacI9jIVmknV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbBSCt8tkgFKBZ4jH8fUM07OQ7/m6Hz1eqs/f+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?= =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAiooQnLssQbgIRuJrswxxDUvnZGZu?= =?us-ascii?q?NayH9yK1mOhRj8/MCw/JBi8yRUpf0s8tNLXLv5caolU7FWFSwqPG8p6sLlsxnD?= =?us-ascii?q?VhaP6WAHUmoKiBpIAhPK4w/8U5zsryb1rOt92C2dPc3rUbA5XCmp4ql3RBP0ji?= =?us-ascii?q?oMKjk2/nzKisxrlKJUvg6upwBxzY7TZYGaLvt+fqXAdt8eSmdMWsNdWipcCY2+?= =?us-ascii?q?coQPFfIMM+hYoYfjulUArhW+CgawC+zyyDBHiGT73bEm3+k7DQ3KwBYtE8wIvX?= =?us-ascii?q?/JrNv1LqASUeWtwafL1zrDae5d1jT86IjNdxAuv+uMXbdqfsrX1EIiEALFjkmR?= =?us-ascii?q?qIH+ITOayP4NsmiB4+pkUuKvjHUnpB91ojmv3MssjZPJho0Mx13C6C53zoE1Jd?= =?us-ascii?q?iiR056Z96pCJ5QtyadN4txWM8tX2ZouCM8x7YbupC7ZDAHxIklyhPRcfCLbYiF?= =?us-ascii?q?7xL5WOqPPDt1hGhpdbO7ihqq8EWtyPfwWtS23VtFtCZJjNfBu34X2xDN98SKSP?= =?us-ascii?q?1w9Vq71zmVzQDc8ORELFg0laXFL54hxaY9loQNvkTZHi76gkH2jKiRdkU/5Oeo?= =?us-ascii?q?7+Tmbq/hpp+GOI94kgD+MqIwlcyjGek0LwoDUmaB9eii1LDu/Vf1TKtXgvA2iK?= =?us-ascii?q?XUsZTXKdwepqGjAg9V1ogj6wy4DzejyNkYnGUHLVNedRKZkYfpIVHPLOr8Dfe4?= =?us-ascii?q?hFSsiylkx/TGP7H7BZXNNHfDnK/7fblh805c1BYzzddH6p1IEL4BJfbzVlb1tN?= =?us-ascii?q?zZFR85Lxe5w/3nCdV4zoMRQ3iDAq6fMKPIsF+H/PgjI+eWZNxdhDGoIPEg47vq?= =?us-ascii?q?jGQlsV4bZ6igm5UNO16iGfEzAkyfKUjth9IMC2IDuEJqTfD4oEOPSy8VY3G1RK?= =?us-ascii?q?8493c8Eo3wXtSLfZyknLHUhHTzJZZRfG0TVgHVTSXYMr6cUvJJUxq8Z9d7m2VU?= =?us-ascii?q?B6asUZ5n0RaprwL+2vxgNOWGonRJ56Km78B84qjorT938DV1C8qH1GTUHzNqk3?= =?us-ascii?q?kZATsx27typV07zU2Mg/Eh3q5oUOdL7vYMaT8UcJ7Ry+sjW4LsVxjQONOOT02r?= =?us-ascii?q?RsTgBis+HIs8?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DwKQAYIEJd/0XX/61lHQEBHwUBBgGBU?= =?us-ascii?q?IEvAgE6Ki1AUjIqjRqGQUMLAQEBAQEFAVNfAQMUgQ6IQJEcCQEDAQwbEQECAQG?= =?us-ascii?q?EQAKCThwGAQQ0EwEDAQEEAQECAQMDAWyFHgyCOgyDBQEEATo0EAsLIRMSD0iDP?= =?us-ascii?q?IF2BQ8FrXCIboFIgTICAQEBi10XeIEHg24HLj6EEIEBhRYElUaVSQmCHIZchHO?= =?us-ascii?q?IPgwbgi5thjqOQaVMgWchgVhNMAg7gmwJg18BCYJBhCCCMYQiHzOBBgEBjkABA?= =?us-ascii?q?Q?= X-IPAS-Result: =?us-ascii?q?A0DwKQAYIEJd/0XX/61lHQEBHwUBBgGBUIEvAgE6Ki1AUjI?= =?us-ascii?q?qjRqGQUMLAQEBAQEFAVNfAQMUgQ6IQJEcCQEDAQwbEQECAQGEQAKCThwGAQQ0E?= =?us-ascii?q?wEDAQEEAQECAQMDAWyFHgyCOgyDBQEEATo0EAsLIRMSD0iDPIF2BQ8FrXCIboF?= =?us-ascii?q?IgTICAQEBi10XeIEHg24HLj6EEIEBhRYElUaVSQmCHIZchHOIPgwbgi5thjqOQ?= =?us-ascii?q?aVMgWchgVhNMAg7gmwJg18BCYJBhCCCMYQiHzOBBgEBjkABAQ?= X-IronPort-AV: E=Sophos;i="5.64,332,1559512800"; d="scan'208";a="315297634" X-MGA-submission: =?us-ascii?q?MDGXwkpYzumuFi/R7daP8Lpxh1lLhGIrPlMnQm?= =?us-ascii?q?DxY5lU482eaYQGfyJ/dt81SPaXqX3c08e2Hz2AjUqdd2rkRk/rSBQOUB?= =?us-ascii?q?DlLJMFhSJhubcXlcTFhS6xLPnqCz1k3DoNibRvL4hEr97uqXcwXIs/Kb?= =?us-ascii?q?p2NTP9qocmHqhCz9M9zGDlsQ=3D=3D?= Received: from very.loosely.org ([173.255.215.69]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 01 Aug 2019 01:14:56 +0200 Received: from c-67-174-233-217.hsd1.ca.comcast.net ([67.174.233.217]:36502 helo=foolinux.mooo.com) by ahiker.mooo.com with esmtpsa (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.92-114-9dcbe0535) (envelope-from ) id 1hsxo5-0005Xq-Ho; Wed, 31 Jul 2019 16:14:53 -0700 Date: Wed, 31 Jul 2019 16:14:47 -0700 From: Ian Zimmerman To: caml-list@inria.fr Message-ID: <20190731231447.oxcvbgd4ipwymcqb@matica.foolinux.mooo.com> References: <20190731211816.x5vj472m34cshifj@matica.foolinux.mooo.com> <6480f30b-a2c3-90bc-33b3-6efa2e02f398@polychoron.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <6480f30b-a2c3-90bc-33b3-6efa2e02f398@polychoron.fr> User-Agent: NeoMutt/20180716 X-Loosely-ASN: 7922 Subject: Re: [Caml-list] How to use -map , -no-alias-deps and friends? Reply-To: Ian Zimmerman X-Loop: caml-list@inria.fr X-Sequence: 17728 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: On 2019-08-01 00:07, Florian Angeletti wrote: > As far as I can see your invocation of ocamldep in the .depend target > is mostly fine. You may want to add `-open Aaa` too (another minor > issue here is that `-as-map` is a global flag and does not take an > argument) . The problem seems to come from your undisclosed linkorder > script. As you probably suspect, linkorder.sh uses ocamldep too, taking only the submodule names (ie. excluding Aaa.ml and Aaa.mli). > Note than another option to compute .depend and the link order is to > use `codept` (available on opam) with the `-no-alias-deps` flag, which > removes the need of declaring any map file by hand. That is very interesting, and probably the best option for this style of aliasing. Meanwhile I was able to quickly make it work with -pack ; do I understand correctly that the only significant drawback is linking all the submodules from any program requesting the library? -- Please don't Cc: me privately on mailing lists and Usenet, if you also post the followup to the list or newsgroup. To reply privately _only_ on Usenet and on broken lists which rewrite From, fetch the TXT record for no-use.mooo.com.