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 3EAC2823D7 for ; Mon, 12 Mar 2018 11:47:31 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mail@matej-kosik.net; spf=SoftFail smtp.mailfrom=mail@matej-kosik.net; spf=SoftFail smtp.helo=postmaster@matej-kosik.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of mail@matej-kosik.net) identity=pra; client-ip=145.239.83.105; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mail@matej-kosik.net"; x-sender="mail@matej-kosik.net"; x-conformance=sidf_compatible Received-SPF: SoftFail (mail2-smtp-roc.national.inria.fr: domain of mail@matej-kosik.net is inclined to not designate 145.239.83.105 as permitted sender) identity=mailfrom; client-ip=145.239.83.105; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mail@matej-kosik.net"; x-sender="mail@matej-kosik.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: SoftFail (mail2-smtp-roc.national.inria.fr: domain of postmaster@matej-kosik.net is inclined to not designate 145.239.83.105 as permitted sender) identity=helo; client-ip=145.239.83.105; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mail@matej-kosik.net"; x-sender="postmaster@matej-kosik.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3Ap+GzCBX+kyDgfhj1PA3vBuhkOX3V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYYxWCt8tkgFKBZ4jH8fUM07OQ7/i7HzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba98IRmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmij?= =?us-ascii?q?oINyQh/W/KlMJwgqJVrhGvqRNxzIHbYp2aOvVlc6PBft4XX3ZNUtpfWiFDBI63?= =?us-ascii?q?cosBD/AGPeZdt4TzoEEBrQegCgmuGejhzzhIhXDo2q05zu8sFgTG0xYhH9IKq3?= =?us-ascii?q?nUqc/6NLsMXuC31aXIzjLDb+hX2Tf+8oTIdA4uoe2VUL92bMHfylEvGhvYglif?= =?us-ascii?q?qYHpJS2Z2+oJvmSB7OdtW/ijh3M7pwxxujSiwschhpPUio4J1FzI7zt1zYk7KN?= =?us-ascii?q?GiVkJ2b8KoHZ1NvC+ALYR2WNktQ2RwtSY61LIGvZm7cTAPyJs92x7Qdf6Hf5GL?= =?us-ascii?q?4hLkT+aRIDR4iGhjeL2hmxa+6UmgyuviWcmoyFtGsyVIn9nWunwT2RHe7tKLR/?= =?us-ascii?q?hz80u7xDqDywDe5vlBIU8ulKrbL5AhwqQ3lpoWqUnDGzX5mETyjKKNc0Ur4PSo?= =?us-ascii?q?5PrlYrn/pZ+cMJR0igD9Mqg0nMywH/g4PhAUX2eH4eS8yKHj/UrhTbpWlPI2l6?= =?us-ascii?q?3ZvIneJcQava65HxRY0p0j6ha6Fzepys4UnXgBLFJfeRKIlZLlO1/UIKOwMfDq?= =?us-ascii?q?iF2plHJvxuvaFrznGJTEaHbZw5n7erMozkdAxQh77tetYpEcXrQIIfbbX0btud?= =?us-ascii?q?6dDRgiMg/yxev7XoYunrgCUH6CV/fKeJjZtkWFs7p2cru8IbQNsTO4EMALovvn?= =?us-ascii?q?jHs3g1gYJPb72JILZXL9HfN9IkbfZ3fw0IxYTTU6+zEmRemvs2WsFCZJbi/tDa?= =?us-ascii?q?c1+jw5TYGhFobAAIagnO7ZhXrpLthtfmlDT2u0PzLoeoGDAqhebSuOL80kkTsf?= =?us-ascii?q?VLvnTYI9h0qj?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AgCQCMWqZal2lT75FdHAEBAQQBAQoBA?= =?us-ascii?q?YQ5bIN4ixKOTjSBFpQzghSFLwKDFR0JBTIRAQIBAQEBAQEBAQESAQEBAQEIFgZ?= =?us-ascii?q?WgjgigkoBBSMPAVYLGAICJgICVxMIAQGFGKtAgiaEb4NGJ4IagQ2EKIMCgxGDB?= =?us-ascii?q?YVtgjyCYgSaVgmQXIFahziFVpJ0OASBbHsKOoJEgkGCBo5rAQEB?= X-IPAS-Result: =?us-ascii?q?A0AgCQCMWqZal2lT75FdHAEBAQQBAQoBAYQ5bIN4ixKOTjS?= =?us-ascii?q?BFpQzghSFLwKDFR0JBTIRAQIBAQEBAQEBAQESAQEBAQEIFgZWgjgigkoBBSMPA?= =?us-ascii?q?VYLGAICJgICVxMIAQGFGKtAgiaEb4NGJ4IagQ2EKIMCgxGDBYVtgjyCYgSaVgm?= =?us-ascii?q?QXIFahziFVpJ0OASBbHsKOoJEgkGCBo5rAQEB?= X-IronPort-AV: E=Sophos;i="5.47,460,1515452400"; d="scan'208";a="317531171" Received: from 105.ip-145-239-83.eu (HELO matej-kosik.net) ([145.239.83.105]) by mail2-smtp-roc.national.inria.fr with ESMTP; 12 Mar 2018 11:46:58 +0100 Received: from [192.168.1.11] (adsl-dyn-230.95-102-243.t-com.sk [95.102.243.230]) by matej-kosik.net (Postfix) with ESMTPSA id B21EF226F3 for ; Mon, 12 Mar 2018 11:46:57 +0100 (CET) To: caml-list@inria.fr References: <69417de2-73cc-c14f-fef9-c8fb2a7b6c2b@matej-kosik.net> <2087299b-ff3e-8d0e-6b12-2f29baca6b26@matej-kosik.net> <1520849755.332963.1299819864.75E77A86@webmail.messagingengine.com> From: =?UTF-8?B?TWF0ZWogS2/FocOtaw==?= Openpgp: id=1CD41D0A52319DC7ABC1B79F50AFFA128CE48649; url=http://matej-kosik.net/doc/kosik.asc Message-ID: Date: Mon, 12 Mar 2018 11:46:56 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 MIME-Version: 1.0 In-Reply-To: <1520849755.332963.1299819864.75E77A86@webmail.messagingengine.com> Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] a question about compiler-libs and Ocaml toplevel On 03/12/18 11:15, Leo White wrote: > Aren't you just missing: > > #directory "+compiler-libs";; > > to make the cmi files available? Yes. That worked. Thank you. I always forget that when I #load a thing, it does not mean that I can actually start using it. (If *.cmi files do not happen to be "in the path", then I will just get not super helpful message: Error: Unbound module XY which is the same one as if I havened #loaded anything. ) Sorry.