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 E798A7F98F for ; Fri, 21 Jul 2017 13:30:45 +0200 (CEST) Authentication-Results: mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of elfring@users.sourceforge.net) identity=pra; client-ip=212.227.17.11; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="elfring@users.sourceforge.net"; x-sender="elfring@users.sourceforge.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.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=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.web.de) identity=helo; client-ip=212.227.17.11; receiver=mail3-smtp-sop.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=3AmdzM6hIEIgkstJj1rtmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRIvjxwZ3uMQTl6Ol3ixeRBMOAuqIC07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9ZDeZwZFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QLYpUjqg8qhrUgflhj?= =?us-ascii?q?oZOT438G/ZicJ+g6xUrx2juxNxzJXZYJ2WOfdkYq/RYd0XSGhHU81MVyJBGIS8?= =?us-ascii?q?b44XAuQcPehTso7zqEEUrRu9GAmsH/7kxDBMhn/4x6060uIhEQ7b1wEnAd0OtH?= =?us-ascii?q?rUrM/0NKcUXuC417TIzS7dYPNMwjfx8pPIchc8ofGWQb1/b8TRyU41FwPKkFqc?= =?us-ascii?q?s4rlMC2J1ukUtWWQ8uluVfq3hmI5tg19vCKjytkyhoTLnI4Z11LJ+T9kzIooPd?= =?us-ascii?q?G1Sk12bcSrHZZUrS2WKZd6Tt04T211uSs3y7sLsoOhcicQ0pQo3RvfZuSHc4eW?= =?us-ascii?q?5hLjU/6cITJ/hHJ4ZLKznRiz/la7xeHmS8a7zk5GritDktbSqnAAzwLf5tWZRv?= =?us-ascii?q?dn4EutxzSC2xrO5uxGO0w4iLfXJ4YkwrEql5oTtUrDHjXxmEXzlKKZaEEk+uay?= =?us-ascii?q?6+TmZLXmqYSRN5Jvig7gKKQugdazAf8/MggTRWiU5fqz1LPk/U3jT7VFkOc6kq?= =?us-ascii?q?/Hv5DGPcgbvLK2AxdJ0oY/7BayFyup384dnXkDNV5FfBOHj5P1O1zVO/D5DfK/?= =?us-ascii?q?g0y2nztxxvDGOKfhApTXIXTZnrfhZ+U110kJ5AMtzNwXzpZQEbYZOLqnVlX48d?= =?us-ascii?q?rVEQQRNgGoyv37Ad5+kIgZXDTcLLWeNfbpnxet7/gsPvLESYsbojf7JLBx6vrg?= =?us-ascii?q?l34/lncAZqSzxt0Mb22iFfloJF+WbDzqj8tXQjRChRY3UOG/0A7KajVUfXvnB6?= =?us-ascii?q?8=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A5AgAq5XFZhwsR49RcHQEFAQsBGAEFA?= =?us-ascii?q?QsBhBaPHZFmlgWCEYIMgzsCg34/GAEBAQEBAQEBAQEBEgEBAQgNCQgoL4IzIoJ?= =?us-ascii?q?EAQICASMPAUYFCwsODAImAgJXBg0IAQGKIwyxVIImiyMBAQgCASWBC4IdhVmCe?= =?us-ascii?q?Yd9gmEBBJ9MlBuLIAwFhwWVYx+BQlIuCkmFI4F1insBAQE?= X-IPAS-Result: =?us-ascii?q?A0A5AgAq5XFZhwsR49RcHQEFAQsBGAEFAQsBhBaPHZFmlgW?= =?us-ascii?q?CEYIMgzsCg34/GAEBAQEBAQEBAQEBEgEBAQgNCQgoL4IzIoJEAQICASMPAUYFC?= =?us-ascii?q?wsODAImAgJXBg0IAQGKIwyxVIImiyMBAQgCASWBC4IdhVmCeYd9gmEBBJ9MlBu?= =?us-ascii?q?LIAwFhwWVYx+BQlIuCkmFI4F1insBAQE?= X-IronPort-AV: E=Sophos;i="5.40,389,1496095200"; d="scan'208";a="232347300" Received: from mout.web.de ([212.227.17.11]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 21 Jul 2017 13:30:44 +0200 Received: from [192.168.1.3] ([78.49.202.166]) by smtp.web.de (mrweb103 [213.165.67.124]) with ESMTPSA (Nemesis) id 0LZvcX-1e1ltG0nrJ-00lmsi; Fri, 21 Jul 2017 13:30:35 +0200 To: David Allsopp References: <8e0dbe2f-3ff2-5f56-7d81-89f1eaad041b@users.sourceforge.net> From: SF Markus Elfring Cc: caml-list@inria.fr Message-ID: Date: Fri, 21 Jul 2017 13:30:27 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.2.1 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Language: en-GB Content-Transfer-Encoding: 8bit X-Provags-ID: V03:K0:eNawu0QU1aVl45TEiQMX8okNcyL27ljF0uUYSqcf7dwOFhXt7bu 9TQ6ssu7sm20yzUt+GDINw6LJqZQ1WIvZx0QxOJQ5Tmsyny3e4wudxQh6tT8JXpLWo2XCwJ JyKDsASeWxftVHTTcnsvNGzAkeFssFT4W52MK8iifrVsF3+jTj6BnZtEbMtOmtE/vCcEUDS D4CSHokGHVEQ0+cIGOiYQ== X-UI-Out-Filterresults: notjunk:1;V01:K0:yZoEoyOlp/4=:+4xlpxd44VBY18CLE0rMg3 hVKTFgc2gLYe7wSYvNDdiVIMD5SAN9cx05wxTTcCjlzghnwMvVsvZCVJrzUefLL66iLrcekxH vGvJC5TmZ++AxPpnTAWSq9s7wUW1h5rTU4aKN6YAz3FQGqKzMyLzyCOPGqy//4Az+60eqr/b/ jjsB1UpHCUIrzrR9+ujEHeSGuA3JOsPbwvHbYJfCmTyPZearncj/4qN7bMwnQo/SwwThDV7Pf WP310eFRC6WvCj3Ja4vcNSiB8LpxDJTyEHaVk5kNqxiD/3LPHwMnD9S/z7sy4wBncKfv+6mbm dBAaEVYnoH7bVhb8IdRivwI28wNbYNZ9osophvMW9ys0ysRvWQcq+ZmJrLtJu1z8oJpn81F1G VD99O78HPPqzZHwFjOQSCS+fd7GaFErP5JMYZlPICN+rut+DuC7YcclB5OVcMIybAX7VRmF4C I6YcipCg+ZGngB8mCkYepDSu3MJyNnRBhQDyFeBhcobLlAhX1jpeKBcU1Jdi1AuR42NLF1+U6 tHjh6ybk0wYHApGLAJ+YR5BFyrPpgVkJDQRbLWUW4eb63aaO8nuNwXWaAZizo+3Gi3TnBhKxw veWZdABZVVrRW2GX00Wl0KvLo7lp/Lf2an0EZkLMBXzZDDjLgXSKCz03qYKyIlUPyE5XqyJwL iXIRxLrInaZbmi/LPaEBlAXK4LpNpB+2k7DRzlyvYip1ExAgLHf30FZr/rw+eHHlvPb0p4LKt zjPlRrWu2Kfic68Q8O+VOAMbj2TRFQQaOylL1+Iu4BH9bKAjDWIKvevfc734bT3R68HtjciVD 1A+lIFoUC1j+OqaBvrUu1UkBJlEmi7BcJyPSZTtji9zxj9XBh8= Subject: Re: [Caml-list] Development status of the dependency generator for OCaml > It surprises me to find that ocamldep -all foo.mli doesn't generate `foo.cmi: foo.mli`, … Thanks for your acknowledgement. > What are you regarding as erroneous about the entries with > "only a dependency on a single compiled module interface" > (for bytecode, that sounds correct to me). A software build system which can support the programming language “OCaml” to some some degree will contain generation rules for involved file types as you mentioned it also. > You mean that you'd like simple cases eliminated? Yes. - The provided data set should eventually not repeat specifications for dependencies for which you care by the selected build system already. > foo.cmi: > foo.cmo: foo.cmi > > should simply not be printed, and be assumed to work with implicit rules? Yes. - In principle for the default data export variant. I looked into a few OCaml build configurations where the desired dependency handling seems to work better with explicit make rules and corresponding automatic rule generation. Regards, Markus