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 1385F5D6 for ; Thu, 1 Aug 2019 09:40:50 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,333,1559512800"; d="scan'208";a="394105331" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 01 Aug 2019 11:40:50 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 2141282708; Thu, 1 Aug 2019 11:40:50 +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 0FCED826BB for ; Thu, 1 Aug 2019 11:40:43 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=octa@polychoron.fr; spf=Pass smtp.mailfrom=octa@polychoron.fr; spf=Pass smtp.helo=postmaster@quaesituri.org IronPort-PHdr: =?us-ascii?q?9a23=3AOQ+m/B+uD7E3C/9uRHKM819IXTAuvvDOBiVQ1KB4?= =?us-ascii?q?0ugcTK2v8tzYMVDF4r011RmVBN+duq0P0rSempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffhtEiCC5bL5wIxm6sATcvdQKjIV/Lao81gHHqWZSde?= =?us-ascii?q?RMwmNoK1OTnxLi6cq14ZVu7Sdete8/+sBZSan1cLg2QrJeDDQ9LmA6/9brugXZ?= =?us-ascii?q?TQuO/XQTTGMbmQdVDgff7RH6WpDxsjbmtud4xSKXM9H6QawyVD+/6apgVR3mhz?= =?us-ascii?q?odNzMh7W/ZlMJwgqJYrhyvqRNwzIzbb52aOvdlYqPQf8kXSXZdUstfVSFMBJ63?= =?us-ascii?q?YYsVD+oGOOZVt4nzp18JrRukBAmjHuXvwSJUi3/w0q01zeAhHh/a3Aw8HtIFrX?= =?us-ascii?q?PZrNLpO6cOS++417HIzTLHb/JWxTj96I/IcgomofGKR75wf9DRxFApGgjYjVuQ?= =?us-ascii?q?sZToMjOP2ugQt2WW7vBsWOC1h2Mntg19uiWjytkvh4XTgo8YxErI+CR2zYovON?= =?us-ascii?q?G0VEx2bNi5G5VKrS6aLZF5QsY6TmFopik6zroGtIaifCgX0pso2QXfa/2bc4iV?= =?us-ascii?q?+BLjVfydITBihHJqYL6/hhCy/la8yuDkVsS4yktGoy5En9XWtH0BzRze5tWfRv?= =?us-ascii?q?t45Eih2DKP1w7J6uFDJEA5ja3bJII9wrEqjZcTqUPDHiv2mUrqjK+WcV8k+u+u?= =?us-ascii?q?6+j9bLXmvIeQN5VohQHmLqQuhsu/DPwkPQcUWmib/f2w1Lni/U3iXLVHleY2k6?= =?us-ascii?q?ncsJDCP8sXvK+5AwlP0oYi8RmzFTmm0M5L1UUAeVlMfRbCi4nyJ3nPJur5BLGx?= =?us-ascii?q?mQeCijBukt7COafgC5OFB37MnbPsYap8oxpbwxY65chY44NfCrYbJ/S1VFWn54?= =?us-ascii?q?+QNQMwLwHhm7WvM956zI5LATvTUJ/cC7vbtBqz3sxqO/OFPdJHoDH5OvMl4OTp?= =?us-ascii?q?izk3gw1FJPj77d4scHm9W89eDQCcaHvojM0GFD5X7BI5SP3hiFqYVjgVaWzgBv?= =?us-ascii?q?thtAF+M5qvCML4fq7ogLGF237lTIRLb21dC0yRC3aucJ+LCa4B?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BsnwASs0Jd/zMHxAVmHQEBHwUBBgGBR?= =?us-ascii?q?gYBAwGBLgIBAQEBAWCBPzIqhB6PPE0BAQEBAQEGhRqFf48jgXoJAQMBDCwBAgE?= =?us-ascii?q?BhEACCIJLHAYBBDcDDQEDAQEEAQECAQMDAWyFHgyCOiKCbwYjFQgBATgPCxoCJ?= =?us-ascii?q?gICVxMIAQGDHoF3FASrMnGBMoJ6AQEFgkeEZwmBDCYCAQEBAQEBAYtZF3iBB4E?= =?us-ascii?q?4gj0uPoQQgQGCPoJYlQmWDgmBMmqUFSGCHgGLHopbpU+BegENgVhNJxE7gmyLR?= =?us-ascii?q?4VBPTOBBAGNIQEB?= X-IPAS-Result: =?us-ascii?q?A0BsnwASs0Jd/zMHxAVmHQEBHwUBBgGBRgYBAwGBLgIBAQE?= =?us-ascii?q?BAWCBPzIqhB6PPE0BAQEBAQEGhRqFf48jgXoJAQMBDCwBAgEBhEACCIJLHAYBB?= =?us-ascii?q?DcDDQEDAQEEAQECAQMDAWyFHgyCOiKCbwYjFQgBATgPCxoCJgICVxMIAQGDHoF?= =?us-ascii?q?3FASrMnGBMoJ6AQEFgkeEZwmBDCYCAQEBAQEBAYtZF3iBB4E4gj0uPoQQgQGCP?= =?us-ascii?q?oJYlQmWDgmBMmqUFSGCHgGLHopbpU+BegENgVhNJxE7gmyLR4VBPTOBBAGNIQE?= =?us-ascii?q?B?= X-IronPort-AV: E=Sophos;i="5.64,333,1559512800"; d="scan'208";a="315335986" X-MGA-submission: =?us-ascii?q?MDHjEG642vtWd/Kx/g/jXsszn2UCbz697r/V//?= =?us-ascii?q?DRmuEl/JYCXAzlMSzihg1AuWiV1eMNCdgmehP5AVnkOY4Suo1LIopo+N?= =?us-ascii?q?5hVZJMFAACCUAqyZ6NLZI8g+HlHPRCVNRZfW2n6oa5SYFOzyoEglSoY+?= =?us-ascii?q?+H0sgvOlFuM6xsQ00dgB/fxg=3D=3D?= Received: from quaesituri.org ([5.196.7.51]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 01 Aug 2019 11:40:42 +0200 Received: from [128.93.64.107] (pichon.paris.inria.fr [128.93.64.107]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by quaesituri.org (Postfix) with ESMTPSA id 857DB10D3B9 for ; Thu, 1 Aug 2019 11:42:27 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=mail.quaesituri.org; s=mail; t=1564652547; bh=vYdTjrUA5ZXI8rpSh6W0K4q1xYJCw/wKVdi4t5qzcdA=; h=Subject:To:References:From:Date:In-Reply-To; b=FoNR3NsFhIIz0V303MGkpau9O4yD9vDZsJt6jpV3fLfH4uBWQrZGe2ARJWfhg94Kc ARnFCIE995OcyviGHdMHuF734acfZbnoRPyutuXKIFsH6Wmo5/pn/nDSNqXnn2wG4k DwOaPU3PBLzPnNkxGeiImiTqqY940aqCiy6lbP4k= To: caml-list@inria.fr References: <20190731211816.x5vj472m34cshifj@matica.foolinux.mooo.com> <6480f30b-a2c3-90bc-33b3-6efa2e02f398@polychoron.fr> <20190731231447.oxcvbgd4ipwymcqb@matica.foolinux.mooo.com> From: Florian Angeletti Message-ID: <18a8ca9d-16d0-80e6-62c1-69c0c89257f6@polychoron.fr> Date: Thu, 1 Aug 2019 11:40:40 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.8.0 MIME-Version: 1.0 In-Reply-To: <20190731231447.oxcvbgd4ipwymcqb@matica.foolinux.mooo.com> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Content-Language: en-US Subject: Re: [Caml-list] How to use -map , -no-alias-deps and friends? Reply-To: Florian Angeletti X-Loop: caml-list@inria.fr X-Sequence: 17730 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: The drawbacks of packing are essentially the size of the packed module, and the coarser induced dependencies indeed.