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 3643F7F72C for ; Tue, 16 Aug 2016 15:05:22 +0200 (CEST) IronPort-PHdr: 9a23:8JBqLxy8tr294SDXCy+O+j09IxM/srCxBDY+r6Qd0eIeIJqq85mqBkHD//Il1AaPBtSCrasbwLaH++C4ACpbsM7H6ChDOLV3FDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpqsSVOloD2Gv1Iesrak7n9UOJ7oheqLAhA5558gHOrHpMdrYe7kJTDnXXoSzB4Nyt9oVo6SVatqFp3cdBVaLnY/ZwFuQAX3wOelo478zztBTFURDHpj5FCj1XwVJ0BF3u5RT+FrPwqTey4uF03S3fOcztUZg1Xy6j5uFlUkm7pj0AMmsa+WLehtE42KFSoxutulp/yoDdZoiTPdJxe6rceZURQm8XDZUZbDBIHo7pN9hHNOEGJ+sN6tCl/1Y= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=kakadu.hafanana@gmail.com; spf=Pass smtp.mailfrom=kakadu.hafanana@gmail.com; spf=None smtp.helo=postmaster@mail-ua0-f173.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of kakadu.hafanana@gmail.com) identity=pra; client-ip=209.85.217.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="kakadu.hafanana@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of kakadu.hafanana@gmail.com designates 209.85.217.173 as permitted sender) identity=mailfrom; client-ip=209.85.217.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="kakadu.hafanana@gmail.com"; 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@mail-ua0-f173.google.com) identity=helo; client-ip=209.85.217.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="postmaster@mail-ua0-f173.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A3AADeDrNXf63ZVdFEGoQbfAeteYtHgX0kh0gHOBQCAQEBAQEBAQESAQEJCwsJFzGCMgQBEwGCLBEEGQEbHgMSEAcIAiYCJAERAQUBDhQuB4d0AQMXDi2dVIIHgTI+Mos8gWqCWwWGawoZJw1UhAICBhBxjhkBAYMcgloFjw6KM4E3dYNyiHuCOXyMEIc6hzYTHoEPHoF3DAFEARuBTzkyAYVggTYBAQE X-IPAS-Result: A0A3AADeDrNXf63ZVdFEGoQbfAeteYtHgX0kh0gHOBQCAQEBAQEBAQESAQEJCwsJFzGCMgQBEwGCLBEEGQEbHgMSEAcIAiYCJAERAQUBDhQuB4d0AQMXDi2dVIIHgTI+Mos8gWqCWwWGawoZJw1UhAICBhBxjhkBAYMcgloFjw6KM4E3dYNyiHuCOXyMEIc6hzYTHoEPHoF3DAFEARuBTzkyAYVggTYBAQE X-IronPort-AV: E=Sophos;i="5.28,529,1464645600"; d="scan'208";a="190134775" Received: from mail-ua0-f173.google.com ([209.85.217.173]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 16 Aug 2016 15:05:21 +0200 Received: by mail-ua0-f173.google.com with SMTP id k90so120025771uak.1 for ; Tue, 16 Aug 2016 06:05:21 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to; bh=+BIMyY8alNzqad20NesVChh2vlGvcNO2+8jeuDk+Mbw=; b=gqRQl8zC4pOW0gMECbKnqp6Wh/Sro9IMSFAnwOnNedyg+B3/Pj6ASGhfN7BHinMvP2 lAOQy5LlJN4NaUFI8gb9SKzT8Pntaajw9qhmvwygezgW0VglDrLPjzewtX/aoHWY4n+7 zrDrJAYeiF6SoSXCSDWEjNknEMyFZpPXsNxTkjvz0HjZ709OubO31dk/es95FGv44pYE gnedxVLYcCe6L17Sm3qQJycWOww4211eCBcWcx/NRGHKNWRRpO/wQlaAARUqTnuilAi1 DsUzn6laqK0+k25VntmbZzdhr69HcmT6uA1BcgSbvHSEx16FeBsS4fryUJVBEqKpjKAG SbIw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=+BIMyY8alNzqad20NesVChh2vlGvcNO2+8jeuDk+Mbw=; b=chHLVZjywQ5QNPwfNGWft9PKZ688dp6oPElfYCa8YROuYqd3np9qBldXaeVJitMf21 ecmJhth6yCEK6uHAoUulT5Cdogifj6faSCYiiA86P2XG6f+StmKGdTRoCCBpT7ijQMF/ 0wlzEiU5o6QCmp9pCjoQZESHthvf5ISwZZlIzuW6ZEOg8uz4WdJ0pa6NUGbkVuiB3pFR ADGj1Wx4RCvCHur0AZkS3sEcnbIn9WskvstjUgtYWEyh2ZUS8QuKrwZn1E7cPwCLIgPu H/ifPT8vau3Lom1Xa1/agFelSXHag8o+olYXW0eS5lEBN8YojZkesQ+FYyQvUl3nEODV THCQ== X-Gm-Message-State: AEkoouvsJZIWd8k5NfT4SPW7Yi1zi6oqKt7R3acbDs28BHkN4QKUAOqn0yuu5KOGASP2n4ltX5/2q/n+kW9yWQ== X-Received: by 10.31.75.2 with SMTP id y2mr13246292vka.130.1471352719778; Tue, 16 Aug 2016 06:05:19 -0700 (PDT) MIME-Version: 1.0 Received: by 10.31.52.6 with HTTP; Tue, 16 Aug 2016 06:04:59 -0700 (PDT) From: Kakadu Date: Tue, 16 Aug 2016 16:04:59 +0300 Message-ID: To: Caml List Content-Type: text/plain; charset=UTF-8 Subject: [Caml-list] Annoying warning about double installation of topdirs.cmi Hey, After introducing compiler-libs we have starting getting a warning when we use compiler-libs as ocamlfind package. findlib: [WARNING] Interface topdirs.cmi occurs in several directories: /home/kakadu/.opam2/4.02.3/lib/ocaml, /home/kakadu/.opam2/4.02.3/lib/ocaml/compiler-libs (* It has its own mantis issue [1] where gasche have said that we should discuss it in the mail list before fixing it. *) It happens because we install topdirs.cmi both to `ocamlc -where` and `ocamlc -where`/compiler-libs. Of course these are identical files with the same size and MD5 checksum. The obvious choice should be not installing this file to `ocamlc -where` (I) or to `ocamlc -where`/compiler-libs (II). (I) Seems to be the right solution architecture-wise but it can introduce backward-incompatibility in OPAM: after initialization it puts some code into ~/.ocamlinit which relies on topdirs.cmi [2]. Personally, I removed this line from my ~/.ocamlinit because it seems useless for my case. So, by removing `topdirs.cmi` from `ocamlc -where` we should probably release bugfix release for opam. (II) removing `topdirs.cmi` from `ocamlfind query compiler-libs` means that we split files for this library between two directories which is not good in general. Also, there is a probability that we can break compilation of some packages but I think that it is unlikely. Patches implementing both approaches are very likely to be very straightforward. We only need to decide right solution. Maybe we can even get it into 4.04. Kakadu [1] http://caml.inria.fr/mantis/view.php?id=6754 [2] let () = try Topdirs.dir_directory (Sys.getenv "OCAML_TOPLEVEL_PATH") with Not_found -> () ;;