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 E6BDF801D9 for ; Tue, 18 Jul 2017 21:21:49 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=elfring@users.sourceforge.net; spf=Pass smtp.mailfrom=elfring@users.sourceforge.net; spf=None smtp.helo=postmaster@mout.web.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of elfring@users.sourceforge.net) identity=pra; client-ip=212.227.17.11; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="elfring@users.sourceforge.net"; x-sender="elfring@users.sourceforge.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of elfring@users.sourceforge.net designates 212.227.17.11 as permitted sender) identity=mailfrom; client-ip=212.227.17.11; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="elfring@users.sourceforge.net"; x-sender="elfring@users.sourceforge.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.web.de) identity=helo; client-ip=212.227.17.11; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="elfring@users.sourceforge.net"; x-sender="postmaster@mout.web.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ALa9MhBNmvemNiBNhRB0l6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0LfX5rarrMEGX3/hxlliBBdydsKMbzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZPebgFKiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhS?= =?us-ascii?q?kZNzA37WLZhMJ+g61UvB2vqAdyw5LXbYyPKPZyYq3QcNEcSGFcXshRTStBAoak?= =?us-ascii?q?YoUSD+QKIOFWoJPnp1sNsBu+HhSnCuzryj9GnH/23Ks60+s8GgzBwgMgG9wOsG?= =?us-ascii?q?7VrNXzO6cfSv21zLLWwjXZdPNawyz96I/VchA7vf6DQ7xwcc3LyUkgCQzJlFOQ?= =?us-ascii?q?ppL5Pz6M0OkGrmaV7+1lVe21im4nrRl8ojepxscxkIXJgZgVyl/C+C5kw4g1Pc?= =?us-ascii?q?W1RFBmbdK6CpdcqT+WOolsTs8/QWxkojs2xqAetZO5fiUG0okryh3BZ/CdboSF?= =?us-ascii?q?4xHuWPyPLTp2gn9uZaixiAyo8Ue6z+3xTsm030hOripCitTMs3cN1wHP6sSdRP?= =?us-ascii?q?py4Fyu1SyS2A/N8u1EIEY0mrTHK5M53LI8i4QfvV7dEiPomkj6lrKae0c+9uS1?= =?us-ascii?q?9ujrerDmqYWdN49whAH+KKMumsmnDOsmNggOUXKb+eW61L3s5kD5Xa5KgeMskq?= =?us-ascii?q?nCqpzaPsMbprOjAwBJzIkj5RG/Dy2p0NsGh3UHKkxKeA6fg4jzJ17OOOz4Deu4?= =?us-ascii?q?g1m0jDhk3fXGPrn4DpXJL3jDi6vhcK1m609czQoz1cpQ64hVCrEHOvLzW1X+uM?= =?us-ascii?q?bWDh8jYESIxLPsAdB5k4cfQn6nA6mDMaqUv0XbyPgoJry3SscwsSz+NuNtyvrg?= =?us-ascii?q?l34/lhdJcK2nx5oRZ1ilBfl8OAOCZmf2idoPFn0Fs0w4QfC82w7KaiJae3vnB/?= =?us-ascii?q?F03To8Eo/zVYo=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DGAQBOX25ZhwsR49RbHgYMGQYMhBMDg?= =?us-ascii?q?RG1doIRLIFghw8/GAEBAQEBAQEBAQEBEgEBAQgNCQgoL4IzIoJtDwF7AiYCbAg?= =?us-ascii?q?BAYovDK88giaLKwWBC4IdhVmIL4JHgmEFiWOVUYFoki6DcocrDAWHAZVXH4FCU?= =?us-ascii?q?i4KhRgBU4F1dAGIUgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DGAQBOX25ZhwsR49RbHgYMGQYMhBMDgRG1doIRLIFghw8?= =?us-ascii?q?/GAEBAQEBAQEBAQEBEgEBAQgNCQgoL4IzIoJtDwF7AiYCbAgBAYovDK88giaLK?= =?us-ascii?q?wWBC4IdhVmIL4JHgmEFiWOVUYFoki6DcocrDAWHAZVXH4FCUi4KhRgBU4F1dAG?= =?us-ascii?q?IUgEBAQ?= X-IronPort-AV: E=Sophos;i="5.40,378,1496095200"; d="scan'208";a="283931825" Received: from mout.web.de ([212.227.17.11]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 18 Jul 2017 21:21:49 +0200 Received: from [192.168.1.3] ([77.182.168.23]) by smtp.web.de (mrweb102 [213.165.67.124]) with ESMTPSA (Nemesis) id 0LnjBT-1e7ftr2DQl-00hwMi for ; Tue, 18 Jul 2017 21:21:48 +0200 To: caml-list@inria.fr From: SF Markus Elfring Message-ID: <8e0dbe2f-3ff2-5f56-7d81-89f1eaad041b@users.sourceforge.net> Date: Tue, 18 Jul 2017 21:21:35 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.2.1 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Language: en-GB Content-Transfer-Encoding: 8bit X-Provags-ID: V03:K0:aYEvZuI9U3rWbBojQhcSusutAmf0uF2juU9rwpvK9VLMtI3hhHG X9sNvSiC5dIZhWp0KmHtHrgqt9wzzJ0XX5iGCN49Ms3X2iDfHVrlXb4oo0clWQqorTus3Z+ p18m6hZNiPk2YEWZHNZQjG8dmxh1LH0iG6mfSVFrl9mhIIqs8RY8kVr4N/HbRzr3TqLGhij MsDCg7gW0VBfgaSkeq7MQ== X-UI-Out-Filterresults: notjunk:1;V01:K0:GhD/jwX5/gk=:eyK81XiKG1u4njP1WFfnka UvIhEHlMGCVsyS21dHIi76OVUMVS1Xjh5gLHLx5G4Hyp5yJ5DhWkqomNShievQOUFV7bnfxhl 5JlvHFGHmFjV422MFaAJqS73pHr0s3dmNozr7pg0GLmQhqJdXn/oO7Yg18Twe+VNQHKP404rt PlQacAB5IkPpdD1TVN5CcV7HavunQWgEoftHwrqLpd7r+dSQpyY9bkC8z/npzeT0rHnaEkd27 EooMgHd0byi+kPoxK9jrZCSS+4URrGOleatf4tfjxLRdV/+vlbtYV2rR45VL6sVZ2Ok/7fINY 5uD2PHGK2qx9h2zBGYyP8h3uHBnqkMaGuQ963w4WRD/m6rsuKK5GFd1njvndiIo9ZKAmd/8FP U13GJmETF41NVKdHHe+j7UwqQ9aWg5i3emBRH8BsLKeKdaijmfhR6bY0DBU+pkFuYYA+JB0vD Z15YZqH97NLXP4sJ+tdRJsMlwnRmhWZ8ryiCrisA8gZLjS6qeCiOoZF/HZyfSXcyoQKil//h8 rmMJI/EiBRZeAGfaHgmjQqd02t5KZn3KShyG2WP7QIl12hjvw0eRkRL0/gfA+xT0Agjn2Eq2M uJS3XMZtaUVSZcLIw2lKcC2hlJsV2z0sckNFZVfsZocR5kNVmaUifdexsVw+DXLYxAiRJG+9E 8fbNrMFiYIg9yHRE6uz84adKWJXQJ3A8ng+JDy+AJdQq42j01ZQnaP8ZP5rSaJTQoxrUiFMjS Nz3XSj6zsxEpVTC4eySKTIcpDsxIf9CRuSO2R6Ir04QYCRoz0Vb7OkjZlpVu0VdrG/QBP2vfa nwzwZd8fCUCMbBiti9DASgfwcAkajuNYFvXpy3PS2T3z1RHklE= Subject: [Caml-list] Development status of the dependency generator for OCaml Hello, I took a closer look at data which the tool “ocamldep” can provide. * Compiled module interfaces (CMI files) do not depend on interface descriptions (MLI files) there. Is such dependency information interpreted as an optional detail? * Compiled modules do also not depend on OCaml sources (ML files) there. Some of the generated make specifications indicate only a dependency on a single compiled module interface. Do you expect that dependency data should be exported completely? Another view: It is usually expected that some dependencies can be handled by implicit make rules. So I imagine that the provided data should only contain extensions for the desired software build rules. https://www.gnu.org/software/make/manual/html_node/Multiple-Rules.html It seems that a bit of data is written too much so far according to this usage. How would you like to improve the software situation further? Regards, Markus