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 E81277F617 for ; Wed, 3 May 2017 08:42:06 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=daniel.buenzli@erratique.ch; spf=None smtp.mailfrom=daniel.buenzli@erratique.ch; spf=None smtp.helo=postmaster@smtp.webfaction.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=pra; client-ip=74.55.86.74; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=mailfrom; client-ip=74.55.86.74; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp.webfaction.com) identity=helo; client-ip=74.55.86.74; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="postmaster@smtp.webfaction.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AcvtGOhDLnn7j3KDPZiKNUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPT6ocbcNUDSrc9gkEXOFd2CrakV16yO6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fdbghMizexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfO?= =?us-ascii?q?pWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnM?= =?us-ascii?q?VhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Qiqp4bt1RxD0iS?= =?us-ascii?q?cHLz85/3/Risxsl6JQvRatqwViz4LIfI2ZMfxzdb7fc9wHX2pMRshfWSxfDI2/?= =?us-ascii?q?bYQPAfcPM+FXoIbhqFUBsACzBRW1BO7t1jNFnGP60K883u88EQ/GxgsgH9cWvX?= =?us-ascii?q?rattr1MqYSXv6xzKbQ0Djbc/VW2Db56IjJbxsspuyDUqh2ccrQ10YvExnJgU6N?= =?us-ascii?q?qYP7OTOU1+ANs2mA4uV+T+KvkXQoqx1woji228cjlJPFiZ4Vyl3d8yhy3YU7Jc?= =?us-ascii?q?WgRUN5btOoCptduiGAO4Z1Q84uWWNltSkixrEbu5O2fzIGxIkjyhPdcfCLbYaF?= =?us-ascii?q?7xL5WOqPLzp0mXRoc6+liRmo60iv0Oj8W9G00FlUqipFlcHBtmsI1xzP8siLUP?= =?us-ascii?q?V88Vm61jaBzQ/c9v1EIUEzlardMZIu3rkwlp8LvUTCGC/5hln2gbeUe0gr4OSl?= =?us-ascii?q?6+Tqbq/lq5KdLYN5iA7zPrwrmsOlAOQ4NgYOX3Kc+eS5zLDs4Ff2QLNLjvIolq?= =?us-ascii?q?nVqovVJdkFqa6/Ag5V1ocj5g2hADe8ytQXh2UHLFNceBKakYflIU3BIPDgAfel?= =?us-ascii?q?n1usiCtrx+zBPrD5HprCNH3DkLP4cbZ56k5c0xYzwMtE55NUD7EBOOj8VlXwtN?= =?us-ascii?q?zeFB85Mha7z/zpCNVnhcsiXjevD6ucLb+am0WB4O4ra72MaYsQpSq7IeIs4fLq?= =?us-ascii?q?pXA8iRkbcLX/jrUNb3XtMv1gIkidVlB4hMUFEC9esgM4TeHuzlefXDhBY3eaUr?= =?us-ascii?q?gm7y06EZ+rS4zDENP+yIed1Tu2S8UFLltNDUqBRDKxL92J?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DYAQCReglZgEpWN0pcGgEBAQECAQEBA?= =?us-ascii?q?QgBAQEBFQEBAQECAQEBAQgBAQEBhA+EcYoYc5BclW6CD4YkAoUUGAEBAQEBAQE?= =?us-ascii?q?BAQEBEgEBCwsJCCYxgjMiAYJAAQIDI1YQCxgCAiYCAkcQBhuKFgSwF4IminQBA?= =?us-ascii?q?QgBAQEBJIELhzKDG4RjgwYugjEBBJ1UeZIjimAQhmOUMR+BQoFIhHEcgWWJfQE?= =?us-ascii?q?BAQ?= X-IPAS-Result: =?us-ascii?q?A0DYAQCReglZgEpWN0pcGgEBAQECAQEBAQgBAQEBFQEBAQE?= =?us-ascii?q?CAQEBAQgBAQEBhA+EcYoYc5BclW6CD4YkAoUUGAEBAQEBAQEBAQEBEgEBCwsJC?= =?us-ascii?q?CYxgjMiAYJAAQIDI1YQCxgCAiYCAkcQBhuKFgSwF4IminQBAQgBAQEBJIELhzK?= =?us-ascii?q?DG4RjgwYugjEBBJ1UeZIjimAQhmOUMR+BQoFIhHEcgWWJfQEBAQ?= X-IronPort-AV: E=Sophos;i="5.38,283,1491256800"; d="scan'208";a="271427236" Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 03 May 2017 08:42:05 +0200 Received: from [172.20.10.2] (231.235.197.178.dynamic.wless.lssmb00p-cgnat.res.cust.swisscom.ch [178.197.235.231]) by smtp.webfaction.com (Postfix) with ESMTP id C0B6920785B5; Wed, 3 May 2017 06:42:03 +0000 (UTC) Date: Wed, 3 May 2017 08:42:01 +0200 From: =?utf-8?Q?Daniel_B=C3=BCnzli?= To: Helmut Brandl Cc: caml users Message-ID: In-Reply-To: References: X-Mailer: sparrow 1.6.4 (build 1178) MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Subject: Re: [Caml-list] ocamlfind does not find pinned packages On Wednesday, 3 May 2017 at 05:18, Helmut Brandl wrote: > Hello list, >=20=20 > I have a package not yet in the opam repository. I install it with =E2=80= =98opam pin add project .=E2=80=99 which performs sucessfully. It installs = the needed binaries in the =E2=80=98.opam/system/bin/project=E2=80=99 direc= tory and some library files in the =E2=80=98.opam/system/lib/project=E2=80= =99 directory. >=20=20 > Now I want to use =E2=80=98ocamlfind query project=E2=80=99 to find the l= ibrary. But ocamlfind always reports project not found. Have I missed some = important step? Did you install a META file in '.opam/system/lib/project' ? Since you are u= sing a system compiler are you sure the right ocamlfind is being invoked ? = Try $(command -v ocamfind) and check that you get .opam/system/bin/ocamlfin= d.=20=20 Best,=20=20 Daniel