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 04C407F98F for ; Fri, 21 Jul 2017 19:07:26 +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.12; 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.12 as permitted sender) identity=mailfrom; client-ip=212.227.17.12; 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.12; 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=3AWBHMWBF96wNIw3Pq+WWu+Z1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7zpc6wAkXT6L1XgUPTWs2DsrQf2rqQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbQhFgDmwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj?= =?us-ascii?q?8KOSMn/mHZisJ+j6xVrxyuqBN934Hab5qYNOZ9c67HYd8WWWRMU8RXWidcAo28?= =?us-ascii?q?dYwPD+8ZMOhFr4f2ulwAogGkBQmvGePv0SJDiHDy3a00yeQhEAfG3AM9FN8Jrn?= =?us-ascii?q?vUqNv1NL0TUeCzw6nF1ijDb+hI1jfn84jEaAshofaRXbJqbcXe10cvFwTfjlWf?= =?us-ascii?q?t4PpJTWV2foRs2WC6edrSOyhi2kiqw5rozivwN8hiobIhoIJylDE6D52zJwpKt?= =?us-ascii?q?2/TU52Z8OvHphItyyCKYd6X90uT3t2tCokyLAKo4O3cSoQxJg62RLTc/6KfouS?= =?us-ascii?q?7h/sUOudOyl0iG57dL6lmhq/8Emtx+vhXceuyllKtDBKktzUu3ANyRPT7s+HR+?= =?us-ascii?q?N4/kemxDaPyxrf6+9aLk8vj6bUNoAuzqYxlpoVr0vDAjf7lFvrgKOIbEko5Pak?= =?us-ascii?q?5ub9brn7pJKQLZJ4hh/mPqQrgMO/AOA4MgYUX2ic/OSxzKPs/Un3QLVQj/02lK?= =?us-ascii?q?bZvYvHJcQAuKG5GRRV3pw46xa4EjemysgXkmcJLFJCYhKHgJbmN0vIIP/mEfez?= =?us-ascii?q?m06snytzx/DaIr3hBY3AIWTZn7fkebZx8kpcyAsozdBD/J9UEbEAIPfrWkDrrt?= =?us-ascii?q?DYDxk5Mxa1w+n9Etl92JkeCiqzBfq1Ob3TvReh4uY0JPGULNsZoj+4LfU6/Nbr?= =?us-ascii?q?gGMwgkMUdqrv1pwSPiOWBPNjdn63KV/lmNQcCi8nugQkTerlwAmPVTBJZnC9d7?= =?us-ascii?q?8n6ysgTpmhEJ3IS46qmrOMmiG2AssFNSh9FlmQHCKwJM2/UPAWZXfKLw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CCAgAMNHJZhgwR49RcHAEBBAEBCgEBF?= =?us-ascii?q?wEFAQsBhBQDjx2RZpYFghEogWSDOwKDfj8YAQEBAQEBAQEBAQESAQEBCAsLCCg?= =?us-ascii?q?vgjMigkQBAgIBIw8BRgULCw4MAiYCAlcGDQgBAYojDAyuQ4ImiyABAQEHAQEBA?= =?us-ascii?q?R8FgQuCHYVZgnmHfYJhAQSQXY5vh0uMUIsgDAWHBZVjH4FCUi4KSYUjgXWKewE?= =?us-ascii?q?BAQ?= X-IPAS-Result: =?us-ascii?q?A0CCAgAMNHJZhgwR49RcHAEBBAEBCgEBFwEFAQsBhBQDjx2?= =?us-ascii?q?RZpYFghEogWSDOwKDfj8YAQEBAQEBAQEBAQESAQEBCAsLCCgvgjMigkQBAgIBI?= =?us-ascii?q?w8BRgULCw4MAiYCAlcGDQgBAYojDAyuQ4ImiyABAQEHAQEBAR8FgQuCHYVZgnm?= =?us-ascii?q?HfYJhAQSQXY5vh0uMUIsgDAWHBZVjH4FCUi4KSYUjgXWKewEBAQ?= X-IronPort-AV: E=Sophos;i="5.40,391,1496095200"; d="scan'208";a="284439944" Received: from mout.web.de ([212.227.17.12]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 21 Jul 2017 19:07:25 +0200 Received: from [192.168.1.3] ([78.49.202.166]) by smtp.web.de (mrweb101 [213.165.67.124]) with ESMTPSA (Nemesis) id 0Lj2QM-1eAh2I2EMI-00dF7p; Fri, 21 Jul 2017 19:07:16 +0200 To: David Allsopp Cc: "caml-list@inria.fr" References: <8e0dbe2f-3ff2-5f56-7d81-89f1eaad041b@users.sourceforge.net> <3a62b0f1-0004-a6fb-8c53-8fe961aafa57@users.sourceforge.net> From: SF Markus Elfring Message-ID: <0e3bf240-61d0-10c8-977b-f4427b0c38eb@users.sourceforge.net> Date: Fri, 21 Jul 2017 19:07:13 +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:TwoXa08lmKNmh/ZyhyuxjxgOFviik6HIGci7iJRfon5rRPNL77y VbbvdZtitB7Qb5oycnVe1qkkrX0PILECu2r/65n9S7voiFfUO6NDm6nDzmuwhfa5UV2sdK6 WwS46S9BIliwSzJs43jCrrIK4ATsGwTm3Y1JE2J9RUxor9/vWaqCUiumkVKNvo7Z0nCWhDn 1p8xWD29x6QrWp4ts7O7g== X-UI-Out-Filterresults: notjunk:1;V01:K0:eGYhVZIhVhs=:QHMsvCXz/YVpB4HYF082av g/p9gVcIgOpSX6/aOT7+vWwVP/eTi5LZP21ZVDOo3oWqfMqLFomOlNR2L38SGzXcvRmzJ6Jbk pMfcEU0bUtqdHAK7Z21xuNoNHnGQESztdfnwWUOS0rqOAwlTM0wW8TwDjVmRU1PhRv5ivPe/P Rdm4k6hUXiYcrkJczbRjzc3qxaBgtU3SZRBk90uLAZqcnhQeudUF23WEvx3TEWvcZCdTNRzSO ctmXK6g3UirpDjka/FYU/1LzTTqcqD5f7H7GOTFXEY2wLY3xAGIUwfa7llZdn4M0UEwMAqBKf 5euzCrEd8++7MZotdd0ayHhSarHS12zmtmN7YSxEMOBHdCrpC4zNT7hw7UMjsnPE5ERJB/LoP ZlCFfoaon69b0EXs0D/k2yjEFkQPPkrH/jCfdpzVl2GSYXXyXI3Y/fIWkXPq9uKhn2kThwVv6 1I4TJ4AstcJNg4LdCH6fM7aSXZvNg+JP0MV2GkaL9OSj/Kus7h0qIwRP58jm2hmjxdL8Yq//b G1cFur4KUh+hJ1jtH233rywXDQPEFp4pjVtujXfHkBDuk57ozFXYDJ3mlyKcmfRcoYnV0nLUY VhOB2UH845EnTYa6wY7rv04xZuMwHxNACWtwixrHBtrxEDo9NcyY8nnmx872WjYgO9Ycts6LK 8Njg8GlX2wNm+hoc2Hy0lMomatB5I2kyXjm/ltAYY3VvkIhdp334+9Ooi07tC+bHjPrKHoPgn 8kNZcH0F56nVEWuk5KX2Pn1LyI5s9+/RH/KPdyNU6s9acCer1b8ZCocx0QxhVoqWJZ46a/iES T1aeTk+WeoDAPqodvlm4zKV0hUAHtGEj5IK5yd2h7i2cbhuvBE= Subject: Re: [Caml-list] Development status of the dependency generator for OCaml >> If you can tolerate that specific dependency specifications (like for ML >> and MLI files) can be missing, … > > They're not missing I know circumstances where I can accept the omission of such details. > - they're simply obviously and necessary as part of your Makefile rules > because somewhere you need a recipe to build the files. We agree on this general aspect. I imagine that we have got still different opinions about the consequences for a command like “ocamldep src/*.ml* > .depend.mak”. > Your descriptions are, I'm afraid, vague, I hope that the involved communication difficulties can be resolved somehow. > don't give a simple repro case, I wonder about this view after your initial feedback for my clarification request. > For this particular PR, I'm afraid it looks like you blew Xavier's fuse at line 1. That's unfortunate. > For example: > > Summary: .cmi files do not depend on .mli in output of ocamldep -all Would you dare to submit another bug report with your improved description? >> Do you prefer to use more advanced software development environments? > > Ah, you may have hit on a slight naming problem: Such name clashes can cause various challenges. > I mean https://github.com/janestreet/jbuilder, not an old Java IDE... Thanks for your link to the other build software. Regards, Markus