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 DE29080198 for ; Fri, 14 Jul 2017 22:22:27 +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=217.72.192.78; 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 217.72.192.78 as permitted sender) identity=mailfrom; client-ip=217.72.192.78; 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=217.72.192.78; 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=3AIMTd0hOfKxP+3kBaC0Ql6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Lfr5rarrMEGX3/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+g61UvB2vqAdyw5LWbYyPKPZyYq3QcNEcSGFcXshRTStBAoak?= =?us-ascii?q?YoUSD+QKIOFWoJPnp1sNsBu+HhSnCuzryj9GnH/23Ks60+s8GgzBwgMgG9wOsG?= =?us-ascii?q?7VrNXzO6cfSv21zLLWwjXZdPNawyz96I/VchA7vf6DQ7xwcc3LyUkgCQzJlFOQ?= =?us-ascii?q?ppL5Pz6M0OkGrmuV7/J4WO6xlmIqqRt9rzqxyss2l4XEgpwZxkrG+Ch62Io4J9?= =?us-ascii?q?+1RFRmbdOnDpdcrT+WOoV0T884Xm1luSg3x7sbspChZicK0o4oxxvHZvyHbYeI?= =?us-ascii?q?5hXjWf6UITd/mXJlZKizhhis/ke70OHzS9e73E5LripDjNbMqmgA2wLO5sWFUP?= =?us-ascii?q?dw/Fmt1SyS2w3X9O1IO0I5mKnDJ54k2LEwl54TsUrZHi/xnUX7lLGZdkEq+uiy?= =?us-ascii?q?6uTnZLrmq4SBN49vlA7+KL8ultakAeQ/LwgORXSU9vqy1L3k5035T6tFgucwkq?= =?us-ascii?q?bHrJDWPd4bqbKhAw9JzoYj7A6yACu839QdmXkLNVZFeBOcj4j1IFzOO/D5DfKn?= =?us-ascii?q?g1u2ijtrxvbGPqfgAprXNHTDnq3hLv5B7BtXwQ83iNRe/I58C7cbIfu1VFWims?= =?us-ascii?q?bfC0oCHUSRyvzkFc41+4cQQ2OJDefNPafcq16O6coyOOSWf8kOvyvnIPUr4OTh?= =?us-ascii?q?gDk/lENLLvrh5ocedH3tRqcuGE6ee3e52to=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AaAwCMJmlZh07ASNleHQEFAQsBGAEFA?= =?us-ascii?q?QsBhBMDgRG4AiSCF4cuQxQBAQEBAQEBAQEBARIBAQEIDQkIKC+CMyKCbQSBBwI?= =?us-ascii?q?RFQJsCAEBii+uCoFsOotSgQuCHYVZiCINgkeCYQWJY5VOgWiFYoxKg3KHKwwFh?= =?us-ascii?q?wCVVjaBK1IuCoUMAQtUgXV0iHQBAQE?= X-IPAS-Result: =?us-ascii?q?A0AaAwCMJmlZh07ASNleHQEFAQsBGAEFAQsBhBMDgRG4AiS?= =?us-ascii?q?CF4cuQxQBAQEBAQEBAQEBARIBAQEIDQkIKC+CMyKCbQSBBwIRFQJsCAEBii+uC?= =?us-ascii?q?oFsOotSgQuCHYVZiCINgkeCYQWJY5VOgWiFYoxKg3KHKwwFhwCVVjaBK1IuCoU?= =?us-ascii?q?MAQtUgXV0iHQBAQE?= X-IronPort-AV: E=Sophos;i="5.40,359,1496095200"; d="scan'208";a="231579968" Received: from mout.web.de ([217.72.192.78]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 14 Jul 2017 22:22:27 +0200 Received: from [192.168.1.3] ([77.182.237.163]) by smtp.web.de (mrweb101 [213.165.67.124]) with ESMTPSA (Nemesis) id 0M2dTd-1dokYG3JR7-00sPwi for ; Fri, 14 Jul 2017 22:22:25 +0200 To: caml-list@inria.fr From: SF Markus Elfring Message-ID: Date: Fri, 14 Jul 2017 22:22:17 +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: 7bit X-Provags-ID: V03:K0:Zo2O3W7HqAEH+/A5gCMtt1qSYshztk3QnXnoOwgyl3FNpX1uTrJ +wJ/R6sKO+GbcWVji2yHPL67blppEFbgDzryw7ZqVCTywXg4iLbSZVNbeOFB8QRGyA+jay2 O+mtKydfiMZywXaMObOnVW7A34hNT5d8EwEqO3OO7umKFok+pp+uti2O3fp8Wkp4DUcDksJ xFKvMhqS1HyIYSKePai7A== X-UI-Out-Filterresults: notjunk:1;V01:K0:O8vKwAAWQ9A=:8tzyOZsq/fW9PrvJ2AX93S gXejJ2pDcWCFWvLm/jvWaLGyy35styCY/nliG+E2WQCBi0UT+Rgzv9zX4+P6d2eHyHUpEeYl2 RBzfNZ5T5pRpn932g8zXxVrHUmtE1xeXRW9q973WcAcA+wlhbEWu9PPEeFSzGbWc0ZJ0Y6yBM GALkYXTFQe42PoVzWn/E5JDFVHy6f/GOp11jXa2n1M3SLhiQWHdYpfBqmy7L/KEO6FUUxDHfc Aii8V/nK1TZheveT3U1a/3WJHS//FLlTeXXNtzG7JXRX2Cu1rhFhyJ+U0TZzJgyK04ewvLRcQ WottXOaQlIxZpmhBvw62FXz12/tPQpNOF/lH2jNOB00KnHLbdjdoF08EjR50sYBzlfK+ESTXk rHdKx7eQe5Ed54JhU56ajzhrgHS8XUoQjXZ3kZntPjgZD/n2kUiCFnmGmGPJn8pZmLVrYsLPA BwCcr8Frp5YMiTzEGkks6FzLdB/u5ZJXDV4aVGH4NYJwzjdEnuKiD6wMyK5ZejkM8cTABaeA5 kD76ZlWjjV/enewoPI/qefoVkN0KS33LOrP+hr5NLd+AnEFgjttPGMJu0IIeexE5cHkRyOhku 3nO0i3sWAEL6XKPPFYIhX+/kjI4DcN72+PqyZVSS4JYcwDFEU7MKcvcfhJkuDJS0AXG1bPc3I SmNMMtjW+V305jX0gV/svIJWH+QU1GV9E7UGLSqz2lN/669LaEaCPvLqYmmPKkHqJZzTfVx9S S94mmHm0iy050iZQNwRFNQZb0rjD/zE5C+Ic8m3dRaHRbOkFExT6UTeYlf/EbFmHlHdkp/56y v7svLNr7SvgQfo9VFdpyQTlLrjaJdr+cP2gDOTgqFawMSk2PRw= Subject: [Caml-list] Support for symbolic links by compilers for OCaml? Hello, I came along the following software situation during an attempt to adjust a few build scripts for another evolving development tool. elfring@Sonne:~/Projekte/Bau/OCamlbuild> ocamlc.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -safe-string -bin-annot -I o/bin -I +unix -c -o 'o/bin/loc.cmo' '/home/elfring/Projekte/OCaml/OCamlbuild/lokal/src/loc.ml'; ls -l x/bin/loc.cmi o/bin/loc.cmi File "/home/elfring/Projekte/OCaml/OCamlbuild/lokal/src/loc.ml", line 1: Error: Could not find the .cmi file for interface /home/elfring/Projekte/OCaml/OCamlbuild/lokal/src/loc.mli. lrwxrwxrwx 1 elfring users 13 14. Jul 21:29 o/bin/loc.cmi -> x/bin/loc.cmi -rw-r--r-- 1 elfring users 820 14. Jul 20:07 x/bin/loc.cmi I wonder why the provided symbolic link is not taken into account for this compilation try. It seems that the following command variant succeeds with the addition of an include parameter. elfring@Sonne:~/Projekte/Bau/OCamlbuild> ocamlc.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -safe-string -bin-annot -I o/bin -I x/bin -I +unix -c -o 'o/bin/loc.cmo' '/home/elfring/Projekte/OCaml/OCamlbuild/lokal/src/loc.ml' I would appreciate a corresponding clarification and further advice. Regards, Markus