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 9350E5D5 for ; Fri, 10 Dec 2021 22:12:48 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.88,196,1635199200"; d="scan'208";a="10172492" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 10 Dec 2021 23:12:47 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id A1FC8E0B17; Fri, 10 Dec 2021 23:12:47 +0100 (CET) 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 DC2F6E016E for ; Fri, 10 Dec 2021 23:12:41 +0100 (CET) IronPort-Data: =?us-ascii?q?A9a23=3AbDuVlalKBAGdu6qLkOKy22Po5gy2JERdPkR7XQ2?= =?us-ascii?q?eYbTBsI5bp2cGxjEZX2uBOPiOajP9c4tyPI7kpBkOsJ/Qx4VgTwBo+CA2RRqmi?= =?us-ascii?q?+KVXIXDdh+Y0wC6d5CYEho/t63yUjRxRSwNZie0SiyFb/6x/RGQ6YnSHuClUbS?= =?us-ascii?q?dYngrLeNZYHxJZSxLyrdRbrFA0YDR7zOl4bsekuWHULOX82Yc3lE8t8pvnChSU?= =?us-ascii?q?MHa41v0iLCRicdj5zcyn1FNZH4WyDrYw3HQGuG4FcbiLwrPIS3Qw4/Xw/stIov?= =?us-ascii?q?NfrfTalcDQLjbexCHkHtNHamkmBlL4CIouko5HKNGOQEG0HPXwpYol4wlWZ+YE?= =?us-ascii?q?G/FOoX3le4USAVZHic4HaxA9LLdLGKXsMqJzkSAfWGEL/BGVRlvYtdEpb0f7WZ?= =?us-ascii?q?msKZwxCo2RhuKgubzxLOgVsF3l8E7JY/qOpkeszdu11nk4VwOKXzYa73Q7N1e1?= =?us-ascii?q?XEoj9pPBrDfYdAYYHxhdnz9j9R0Eg9/IPoDcC2A3xETqwFllW8=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3Agv5ywKDD2LrPO/vlHemx55DYdb4zR+YMi2TD?= =?us-ascii?q?sHoBLCC9E/bo9fxG88516faZslsssRIb6LO90de7LU80nKQdieJ6AV7IZmjbUQ?= =?us-ascii?q?WTQr2KobGD/wHd?= X-IronPort-AV: E=Sophos;i="5.88,196,1635199200"; d="scan'208";a="10172473" Received: from prajna.paris.inria.fr ([128.93.65.171]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 10 Dec 2021 23:12:42 +0100 Received: from shindere by prajna.paris.inria.fr with local (Exim 4.94.2) (envelope-from ) id 1mvo89-000gnN-Ff for caml-list@inria.fr; Fri, 10 Dec 2021 23:12:41 +0100 Date: Fri, 10 Dec 2021 23:12:41 +0100 From: =?utf-8?Q?S=C3=A9bastien?= Hinderer To: caml-list@inria.fr Message-ID: Mail-Followup-To: caml-list@inria.fr References: <1801314.tdWV9SEqCh@titanium> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <1801314.tdWV9SEqCh@titanium> Subject: Re: [Caml-list] ocamldep and stdlib Reply-To: =?utf-8?Q?S=C3=A9bastien?= Hinderer X-Loop: caml-list@inria.fr X-Sequence: 18625 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: Hello David, I think you are right that the good thing to do is to remove the "-I" option and its argument. It does not make sense to me to keep it and I don't understand why it's there. Best wishes, Sébastien.