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 269967F98F for ; Fri, 21 Jul 2017 17:50:30 +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=217.72.192.78; 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 217.72.192.78 as permitted sender) identity=mailfrom; client-ip=217.72.192.78; 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=217.72.192.78; 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=3AgPVDVByMhMvdQwTXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2+4WIJqq85mqBkHD//Il1AaPBtSLraocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze6/9pnQbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRH1li?= =?us-ascii?q?kHOT43/mLZhMN+g61Uog6uqRNkzo7IY4yYLuZycr/TcN4YQ2dKQ8ZfVzZGAoO5?= =?us-ascii?q?d4YBEuoPNvtfoYbnvVsOrga+BRKxD+3gzj9IiGX23aw80+QuDArL2xIvH9YAsH?= =?us-ascii?q?TOrdX1MqgSXPuozKnT0zrDdehW1S3m6IjPbxAhu+2DUqx+ccrW00kvGB3Kgk+W?= =?us-ascii?q?qYP7IzOYz+IAuHWV4epnUOKgkW8nqwdprziuwMcskIjJiZgPxlDK7yV12Ik1Jd?= =?us-ascii?q?ykSE57fN6rC4FcuD2dN4tzRM4pXmJmuD4ix7EYpJK2fjIGxZY5yxLFdvCKd5aE?= =?us-ascii?q?7gjhWeuSOTt1hnFodKiwihu260Ss1PHwWteu3FpXrydIk9/BvW0X2RPJ8MiIUP?= =?us-ascii?q?5981+h2TmR0wDT7flJIUUzlarGN54t2LAxmYQIvkjZAyD5hl36jK6Qdko65uil?= =?us-ascii?q?8/rrbqjkq5OGNYJ4lBvyPrkql8ChG+g1MAsDU3Ce+eum1b3j+UP5QK9Njv0ziq?= =?us-ascii?q?TWrpTaJcoBpq64BQ9V3Z0u6wukDzi4ytQYhmMLLElCeBKalYjmJ0/BIP7/Dfel?= =?us-ascii?q?jFSjji1nx/bYMb39GpnNNGTMkK/9fbZh7E5R0BY8wspa55JQE70BJPPzWlTttN?= =?us-ascii?q?HDFR84Mwm0w/79B9ln14MeX3iPAq6DP6/Iv1+I/LFnH+7ZSIYLuTq1Avwh/Pn2?= =?us-ascii?q?lTdtlUUUOK+kwoA/bX2kF+96Kk6aJ3Hrh4FSP30Nu18FYqTPgUeBTCUbSnK8Ra?= =?us-ascii?q?M66XlvBYaoF4bFSaiwm7Gbx2GgGYBMbW1IDUqDHDHuepnSCKREUz6bPsI0ym9M?= =?us-ascii?q?brOmUYJ0jRw=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CLAgAyInJZh07ASNlCGh0BBQELARgBB?= =?us-ascii?q?QELAYQTA4ERjgyRRCKWBYIRLoFegzsCg34/GAEBAQEBAQEBAQEBEgEBAQgNCQg?= =?us-ascii?q?oL4IzIoJEAQICASMPAUYFCwsODAImAgJXBg0IAQGKIwwMMq4AgiaLIgEBAQcBA?= =?us-ascii?q?QEBHwWBC4IdhVkLgm6DJoRXgmEFn0yHS4xQiyAMBYcFlWMfgUJSLgpJhSOBdXQ?= =?us-ascii?q?BBIoCAQEB?= X-IPAS-Result: =?us-ascii?q?A0CLAgAyInJZh07ASNlCGh0BBQELARgBBQELAYQTA4ERjgy?= =?us-ascii?q?RRCKWBYIRLoFegzsCg34/GAEBAQEBAQEBAQEBEgEBAQgNCQgoL4IzIoJEAQICA?= =?us-ascii?q?SMPAUYFCwsODAImAgJXBg0IAQGKIwwMMq4AgiaLIgEBAQcBAQEBHwWBC4IdhVk?= =?us-ascii?q?Lgm6DJoRXgmEFn0yHS4xQiyAMBYcFlWMfgUJSLgpJhSOBdXQBBIoCAQEB?= X-IronPort-AV: E=Sophos;i="5.40,390,1496095200"; d="scan'208";a="284430080" Received: from mout.web.de ([217.72.192.78]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 21 Jul 2017 17:50:29 +0200 Received: from [192.168.1.3] ([78.49.202.166]) by smtp.web.de (mrweb103 [213.165.67.124]) with ESMTPSA (Nemesis) id 0LwqJw-1dfNae37CC-016MP4; Fri, 21 Jul 2017 17:50:20 +0200 To: David Allsopp Cc: caml-list@inria.fr References: <8e0dbe2f-3ff2-5f56-7d81-89f1eaad041b@users.sourceforge.net> From: SF Markus Elfring Message-ID: <3a62b0f1-0004-a6fb-8c53-8fe961aafa57@users.sourceforge.net> Date: Fri, 21 Jul 2017 17:50:17 +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:eo418ajNXnGxqkB1E4o0EmZTAXtM4+2rNDNTG5kfjjyTD4ln/yR ZtaOruSyhpgyu/mTMx2S24m3+YtKMBV6l5X3jlOJMCscRVuKjP7enqcw05GQ4c0hTiaXYnt Ae4GUCwqKP8jADNb+1il9PiPu/HN8M8X/wSuFmWwrfuykBhhAw90+qszOmWVjGdelUZ+UM3 rwURTJLG/iNrT/ifsGdww== X-UI-Out-Filterresults: notjunk:1;V01:K0:b8soPIN98pY=:RbUFAHTXKImlDWsGCh7td3 DEMGQ4/N68SUiuTjiNtsHme5XlWB73MvrZ781FXRMdQO7HptWGd9Dwyf9QHFGps6TMQ0nIYmT RdP1/0C0ViLAxSZZfye5KedMaITZke3AJwqyBOhDLU+63eGhERZux6IXfz+KpArVgpknbxz5m ZDob0HixslRxdtPV3th4mpIWORXd1lTOoHrA7qk8EclAm4PbZwA/VYULZ3bOAmpYHWXiMvOO8 Jio45zlpCErKjKhac4O8S/7eSdCzOrvuXJKYenMZRwg/eDnFLW0ozC9RG04zo29U4JWwiXc7o 4Qn+lSJqMvhV2Igih26gH6cJGNxws4HGTAeMbitLWQeQntzijQB49l6tt6YMSB8+oiJeLFz0r mwsjs/ZM3PO61xeDdLOnfjfdY/shAXmYtfYCjKRBfZY2nVt18MHiKOx/EtkHlWDjoPuRJ5MtU GyUEuBm9hi/zFMLHzBSbrZYQXgkwjPlWG/7OM+tS812eu4PHopnO5njEWZA9cQrC5dNFoH9iE URfmWap9O4DjroaNhv6yeRcPQL0Dp+PcI6YUquCu5z6W59Kv9TCijP0SnWhI9bdgW4qBmu5TI QNcblRNrbJAw1HQugsAF775wcMK3KKkg7d7rsoAkjwbYfJ40oxm/HJjsGBQPmpAf56hEOisT6 W2m/G7A8CNZauVlVkVew3v/4MWlhWHWktCJd6tVrISyhbSvNNyVhkMVkKqOCvtKAcqv4RqJUx EK+qmfwVKJajHDOczrWZHGTm9n0QkpFuxelnPyf4RR3pT0CT01gTRX/njZEvkKvMPPxaqudFK SO0bDoXI1FWVJd8vEdTTdu/frC3rtXWhc/kCEzqHCS1TL0RtUc= Subject: Re: [Caml-list] Development status of the dependency generator for OCaml >>> 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. > > I'm not clear how what you say relates to my question about If you can tolerate that specific dependency specifications (like for ML and MLI files) can be missing, … > what you were finding erroneous. … I find it questionable to repeat information for some CMO/CMX files when the corresponding details should be expressed by software build rules already. > How is ocamldep supposed to know what you care and don't care about? I assume that you care also for the safe building of OCaml software. How many rules are you going to express in your build scripts by default for this use case? >>> 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. > > For the second example, the default is very clearly not going to change > (since ocamldep already exists). Can further feature requests adjust the discussed software situation a bit more? * “ocamldep -all” does not express dependencies on MLI files. https://caml.inria.fr/mantis/view.php?id=7593 * It seems that the main developers have got communication difficulties with my style of clarification requests (or bug reports). > Personally, I'd find it very irritating to have to remember to add %.cmo: %.cmi > to my Makefiles If you are using such make scripts, you have to specify make rules so that the desired OCaml commands will be called. > (I'd already be irritated, as it would imply I was not using jbuilder, > but that's a separate story...) Do you prefer to use more advanced software development environments? >> 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. > > What works better and in which configurations? Would you like to look into published development approaches a bit more? * https://github.com/elfring/ocamlbuild/blob/0ae41f82882ac28e4c6b375f1e2bfcf3425c7a80/GNUmakefile.am#L499 * https://github.com/elfring/Coccinelle-20160205/commit/8fe9e79f41668bc2e3bd7e682bec114dbee2854b Regards, Markus