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 0B9837F72A for ; Tue, 9 Aug 2016 19:55:14 +0200 (CEST) IronPort-PHdr: 9a23:qpUpyBcRtKhdQrte+dvkrSMilGMj4u6mDksu8pMizoh2WeGdxc+7ZR7h7PlgxGXEQZ/co6odzbGH6ua4ACdauN7B6ClEK80UEUddyI0/pE8JOIa9E0r1LfrnPWQRPf9pcxtbxUy9KlVfA83kZlff8TWY5D8WHQjjZ0IufrymUrDbg8n/7e2u4ZqbO1wO32vkJ+srZ0/v5UWJ749N0NMkcv5wgjLy4VJwM9xMwm1pIV/B1z3d3eyXuKBZziJLpvg6/NRBW6ipN44xTLhfESh0ezttvJ6jnVD5QACO/noRVHkN2loNWlCdrUKyYpCkniLkt+Y18S2eJsruVfhgVS6rqqFmVwTAjSobPiUl+WrUzMd3ifQIjgimoklE7cbxaZuWKeE2U6fTZ9IcSiIVU8JfTS1HDauhdIYVFKwaOvtCpITzoEEBoF24CBX6V7Cn8SNBmnKjhf5y6O8mCwyTmVV4R98= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=elfring@users.sourceforge.net; spf=Fail 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.15.14; 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: Fail (mail3-smtp-sop.national.inria.fr: domain of elfring@users.sourceforge.net does not designate 212.227.15.14 as permitted sender) identity=mailfrom; client-ip=212.227.15.14; 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.15.14; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="elfring@users.sourceforge.net"; x-sender="postmaster@mout.web.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BUAgDeF6pXhw4P49RdhEW7c4JmgzcCgUw7EQEBAQEBAQEBEQEBAQgNCQkZL0EQgWEEARMBghQBBAF5BQsLDjhXBg0IAQGIJQzBMQEBAQcCASSIIgiCTYQshW8BBJk5jwqBVYdyCgSFbpAsNIJDgVmGPhaBRAEBAQ X-IPAS-Result: A0BUAgDeF6pXhw4P49RdhEW7c4JmgzcCgUw7EQEBAQEBAQEBEQEBAQgNCQkZL0EQgWEEARMBghQBBAF5BQsLDjhXBg0IAQGIJQzBMQEBAQcCASSIIgiCTYQshW8BBJk5jwqBVYdyCgSFbpAsNIJDgVmGPhaBRAEBAQ X-IronPort-AV: E=Sophos;i="5.28,495,1464645600"; d="scan'208";a="187299455" Received: from mout.web.de ([212.227.15.14]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 09 Aug 2016 19:55:13 +0200 Received: from [192.168.1.2] ([78.48.104.219]) by smtp.web.de (mrweb003) with ESMTPSA (Nemesis) id 0MDg8k-1bR95N1yow-00H4y3; Tue, 09 Aug 2016 19:55:03 +0200 To: David Allsopp References: <8737mfp7j3.fsf@gmail.com> <87y447npv3.fsf@gmail.com> <87r39znl6m.fsf@gmail.com> <87mvknnia0.fsf@gmail.com> <6718eb74-9b8a-f386-6e7b-e77217f39f95@users.sourceforge.net> From: SF Markus Elfring Cc: moosotc@gmail.com, Gabriel Scherer , caml-list@inria.fr Message-ID: Date: Tue, 9 Aug 2016 19:55:02 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.2 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 7bit X-Provags-ID: V03:K0:940ZxwPC1cCfExooz6LKsuZuwJiP9o1nyLX7ob+eyLGs87y3BIg IFVSLChPtvkCGOr8DhrnPJidxT6ZdQcBv7nAnfSVsnR7qgOmY6UzDzAnpe0Ax7/YRsVqt+s 2sZ+rqK+evaAFADVjIGwZnRdxLxyWVqHtV9Q+Hn6CUQWEVr0KjYiDYlbtUP03KjJ8OrQKZU bqjJ7q6vzWB7QIwa+AqAw== X-UI-Out-Filterresults: notjunk:1;V01:K0:nvcIDUssXZk=:+NtU+5LOLwI3qtMA7f2lse 5CXpPQSPlqQ0moDV+Q1aIeFGZQPZQFB++zHyM4mDa2WKAOFkyqg/FVRQirP2hkSt9b0l0G0Vh w4SRbgAmQ6P0Ai83PDa7wJmCMglD5BcGG5ROQLRPui0cCjXMRTn76KEKRp0/01eZXqK28hEcF FTpPfAvCgxMf6mu0gpqd7wJEc8v/6z/jhrCX/8UWHMtSXRa9qrDWGcv5FoNz2dZU33/UFDVF3 xXPM5pUcTPmcVZDlearY9+KNxYAdUjs8ueOS+YHqyvVscKJMQXhK2L41HHqpKbg/Hj34HPWVl krtcv9iefwkyIzP1BOdKAUlsjK/WSE35SdtlgFLlRHTviBlxiBJuNxKn0aR79AZCEW12vk0O2 azKrBb9ttqZGl/sVmFjrAFc90qcry+Dgu0FfJWih68Dh/YGXfVpFWZos1jFxueULrpKbh4hnL +9U145CrBBZSJhvAtUWrXcnTsmQL/5+u1qzcVeqPyu+XyNbDTfRkVSKbT7vn0z5wHt/ghHMYB D5eAAvFfE0A7J2qn1yr2MvnVVxfVfXPotfGHPcSMWgxHuxehW4snkmDckEobvfiVAF5gusvfL lTm/xtANdl14sp0O3dls5z8KoXVyFuZlLLSsy2yatSRanuckUwYSftdDIZVGeSSGj+7cDTTEQ hF9AymflmqksxfV41RhbbfHytvqOq2Dc/WsQ63TUzwOQzDIbzAmol3uCPAD+l9ELh2hh2wrKi XT+PVYJwt0P9X0iLyhZUustX6gkpdbu68fVB+PI72qIJUvXZFGLAWuvK6loaRf7T7uP+1FPE0 ic6An1q Subject: Re: [Caml-list] Interface(.mli) location >> How do you think about the application of an extra environment variable >> (or a command line parameter) which specifies the preferred directory for >> the storage of compiled interface descriptions? > > What does that solve? I am looking for further possibilities to improve the software situation in ways similar to your suggestions. > The only ambiguity I can see is precisely how you handle references > on the command line including directory names. Can directory preferences become clearer? Regards, Markus