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 559C37F787 for ; Mon, 7 Nov 2016 22:22:24 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-it0-f41.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.214.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.214.41 as permitted sender) identity=mailfrom; client-ip=209.85.214.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-it0-f41.google.com) identity=helo; client-ip=209.85.214.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-it0-f41.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AnjlwHxDGh7yG0hhI1JlYUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP78p8bcNUDSrc9gkEXOFd2CrakV0ayH7+u5BTBIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBy?= =?us-ascii?q?brysXNWD1YLmi6vrp8GbSj4LrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYe?= =?us-ascii?q?VcyDAgD1uSmxHh+pX4p8Y7oGwD884mouVAS6ThY6MgTYt4kjsrKShh783xtALf?= =?us-ascii?q?ShOPoHsbX2obiDJUHk3P4Qv+X5G3vias5cRn3yzPEsT8V7E5XXyZ5KdmUhLywH?= =?us-ascii?q?MIPjQj8WzTzNd7jK9BrQiJqBl2woqSa4aQYqktNpjBdM8XEDISFv1aUDZMV9ux?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BtAAC/7SBYhinWVdFdGwEBAQMBAQEJA?= =?us-ascii?q?QEBFgEBAQMBAQEJAQEBgwMBAQEBAXd8B6QziFaGYoUaggghhgMCGoFyB0ATAQE?= =?us-ascii?q?BAQEBAQEBAQESAQEBCAsLCR0wgjMYghYBAQEDARIRBBkBGx0BAwELBgMCCw0nA?= =?us-ascii?q?wICAiABEQEFAQsRBhMIGogbAQMPCJQ6j02BMj8yi0+Bbh4GAS2DGgWDYwoZJw1?= =?us-ascii?q?UgxABAQEBAQUBAQEBAQEBGAIGEIYuhFWEXoJtglwBBI9NilqBa4RKig+CPI1Uj?= =?us-ascii?q?SqCQxMegRIfAYEYMoMHIIIGIDSHSgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BtAAC/7SBYhinWVdFdGwEBAQMBAQEJAQEBFgEBAQMBAQE?= =?us-ascii?q?JAQEBgwMBAQEBAXd8B6QziFaGYoUaggghhgMCGoFyB0ATAQEBAQEBAQEBAQESA?= =?us-ascii?q?QEBCAsLCR0wgjMYghYBAQEDARIRBBkBGx0BAwELBgMCCw0nAwICAiABEQEFAQs?= =?us-ascii?q?RBhMIGogbAQMPCJQ6j02BMj8yi0+Bbh4GAS2DGgWDYwoZJw1UgxABAQEBAQUBA?= =?us-ascii?q?QEBAQEBGAIGEIYuhFWEXoJtglwBBI9NilqBa4RKig+CPI1UjSqCQxMegRIfAYE?= =?us-ascii?q?YMoMHIIIGIDSHSgEBAQ?= X-IronPort-AV: E=Sophos;i="5.31,459,1473112800"; d="scan'208,217";a="243983092" Received: from mail-it0-f41.google.com ([209.85.214.41]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 07 Nov 2016 22:22:23 +0100 Received: by mail-it0-f41.google.com with SMTP id q124so50550974itd.1 for ; Mon, 07 Nov 2016 13:22:23 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=P5gYaStkYsf4RSUYD2Qmyav3dxie+lLD01zW5qPb1Jk=; b=zBX0vHrYWM5wFnlG5Yr0gR2USzqvXyd/UY77xg+cZ1suRDqB0QNWqB8GPPgv1S1/FI jY9K9MmhTUg1+8DCQtYiSMpy/BvWcnRjGkNASl7R+suTqlGqBo5E2rdbLLdi2f8j4lWv xlPief4AhMrKFUBmwn5LBKLLbQFmqWbD30tcZ1IFxOiqEdXCDv3pX+aS5OeM6oVm9ogg amZxbG2RuVq9EF4lDOxQ2ele1Stcq8hhTuHRhaTRElEgq9ZpLhco3JP1Pho0abVc71Tg UU4DRioloFKvSOqvivRUnvNxDBBdIfAFaE2+hCFuM7wbJtb4d2ifUiVBP7Dr93ayMpJt exaw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=P5gYaStkYsf4RSUYD2Qmyav3dxie+lLD01zW5qPb1Jk=; b=axd29Wi59dPnyjq2w8Rji25BBtBCRtf2Nd/YmEJ3uP9Mf5Hhi8VruePNcF+v3XFXAv FMhmPVsMuOBaMXcNtUUyheFYccTQu1dHNvUn7UWdVgmBkGc+1d1tu/4gsBlqWhvLjCE2 aQnhpfyd/Zu5ZgWL9rT3hNorLumfTkImPSmdHxj0nX6cQZK65uke6xeZ/BpirdZ0BdOZ dqN5cwQpCL3tasSnX9rd/zxzqc0qblz8Rm2U74ul+Z97BLZmzNod3NI0QuSZw178qxav +632S3b2c1KroR2fKRkT3jbItwqnlHocO0aS0DIDoSEBBZc29gB+pUkHDf2ASsWXeyu3 cgOA== X-Gm-Message-State: ABUngvemwivTrQFHqF5LL2qKSL+/t7sUFTgMW3engzyVUsT6L+68AhCbRReizj0NNmEFeC3YhyqebVxdkW37jQ== X-Received: by 10.36.22.212 with SMTP id a203mr7839597ita.3.1478553741903; Mon, 07 Nov 2016 13:22:21 -0800 (PST) MIME-Version: 1.0 Received: by 10.79.30.129 with HTTP; Mon, 7 Nov 2016 13:21:41 -0800 (PST) In-Reply-To: <6573e8af-6562-c63d-fdf0-ed78117b645d@tu-berlin.de> References: <0fb97852-fb76-ef8b-3b70-d268441064a8@tu-berlin.de> <6573e8af-6562-c63d-fdf0-ed78117b645d@tu-berlin.de> From: Gabriel Scherer Date: Mon, 7 Nov 2016 16:21:41 -0500 Message-ID: To: =?UTF-8?Q?Christoph_H=C3=B6ger?= Cc: caml users Content-Type: multipart/alternative; boundary=001a1144cbfc914ada0540bc9eb4 Subject: Re: [Caml-list] 4.04 linker woes --001a1144cbfc914ada0540bc9eb4 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: base64 SSBhbSBub3Qgc3VyZSAoSSBoYXZlbid0IHRlc3RlZCB0aGUgZmFpbGluZyBi dWlsZCkuDQoNCkkgdXNlDQogIG9jYW1sb2JqaW5mbyAkKG9jYW1sZmluZCBx dWVyeSBjb21waWxlci1saWJzLmNvbW1vbikvb2NhbWxjb21tb24uY21hDQp0 byBzZWUgd2hhdCBpcyBwcmVzZW50IGluIHRoZSBhcmNoaXZlLg0KDQpPbmUg cG9zc2libGUgZXhwbGFuYXRpb24gZm9yIHRoZSBiZWhhdmlvciBvZiB1dG9w IGlzIHRoYXQgcmVxdWlyaW5nIHRoZQ0KcGFja2FnZSBhZGRzIHRoZSBjb21w aWxlci1saWJzIGxvY2F0aW9uIHRvIHRoZSBpbmNsdWRlIHBhdGgsIGFuZCB0 aGVyZWZvcmUNCmxldHMgdXRvcCBmaW5kIHRoZSBwYWNrYWdlIHdoZW4geW91 IGFzayBmb3IgaXQuIEJ1dCB0aGUgY29tcGlsYXRpb24gb2YgYQ0KYmluYXJ5 IHRoYXQgdXNlcyB0aGlzIG1vZHVsZSB3b3VsZCBzdGlsbCBmYWlsIGF0IGxp bmstdGltZS4gKE9uIHRoZSBvdGhlcg0KaGFuZCwgSSdtIG5vdCBzdXJlIHdo eSBhIGJpbmFyeSB3b3VsZCBuZWVkIHRoaXMgbW9kdWxlLikNCg0KSW4gdGhl IGV4YW1wbGUgYmVsb3csIHVzaW5nIGNvbXBpbGVyLWxpYnMuYnl0ZWNvbXAg aW5zdGVhZCBvZg0KY29tcGlsZXItbGlicy5jb21tb24gZml4ZXMgbGlua2lu Zy4gKGNvbXBpbGVyLWxpYnMub3B0Y29tcCBhbHNvIGZhaWxzLikNCg0KJCBl Y2hvICJsZXQgXyA9IENvbXBwbHVnaW4ubG9hZCIgPiB0ZXN0Lm1sDQokIG9j YW1sZmluZCBvY2FtbGMgLXBhY2thZ2UgY29tcGlsZXItbGlicy5jb21tb24g LWxpbmtwa2cgdGVzdC5tbA0KZmluZGxpYjogW1dBUk5JTkddIEludGVyZmFj ZSB0b3BkaXJzLmNtaSBvY2N1cnMgaW4gc2V2ZXJhbCBkaXJlY3Rvcmllczog Li4uDQpGaWxlICJ0ZXN0Lm1sIiwgbGluZSAxOg0KRXJyb3I6IFJlcXVpcmVk IG1vZHVsZSBgQ29tcHBsdWdpbicgaXMgdW5hdmFpbGFibGUNCiQgb2NhbWxm aW5kIG9jYW1sYyAtcGFja2FnZSBjb21waWxlci1saWJzLmJ5dGVjb21wIC1s aW5rcGtnIHRlc3QubWwNCmZpbmRsaWI6IFtXQVJOSU5HXSBJbnRlcmZhY2Ug dG9wZGlycy5jbWkgb2NjdXJzIGluIHNldmVyYWwgZGlyZWN0b3JpZXM6IC4u Lg0KJA0KDQoNCk9uIE1vbiwgTm92IDcsIDIwMTYgYXQgMzo0NiBQTSwgQ2hy aXN0b3BoIEjDtmdlciA8DQpjaHJpc3RvcGguaG9lZ2VyQHR1LWJlcmxpbi5k ZT4gd3JvdGU6DQoNCj4gSSBhbSBnb2luZyB0byBnaXZlIHRoZSB3b3JrYXJv dW5kIGEgdHJ5IHRvbW9ycm93Lg0KPg0KPiBSZWdhcmRpbmcgdGhlIGJ1Zywg YXJlIHlvdSBzdXJlIGFib3V0IHRoYXQ/DQo+IFdoZW4gSSBsb2FkIHRoZSBj b21tb24gbGlicyBpbiB1dG9wLCB0aGUgbW9kdWxlIGlzIGxvYWRlZC4NCj4N Cj4gdXRvcCAjICNyZXF1aXJlICJjb21waWxlci1saWJzLmNvbW1vbiI7Ow0K PiDilIAoIDIxOjM5OjU2ICnilIA8IGNvbW1hbmQgMQ0KPiA+4pSA4pSA4pSA 4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA 4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA 4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA 4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSADQo+IOKUgOKUgOKU gOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKU gOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKU gOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKU gOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgA0KPiDilIDi lIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDi lIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDi lIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDi lIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIANCj4g 4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA 4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA 4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA 4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA DQo+IOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKU gOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKU gOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgHsNCj4gY291bnRlcjogMCB94pSA dXRvcCAjICN0eXBlb2YgIkNvbXBwbHVnaW4iOzsNCj4gbW9kdWxlIENvbXBw bHVnaW4gOiBzaWcgdmFsIGxvYWQgOiBzdHJpbmcgLT4gdW5pdCBlbmQNCj4N Cj4NCj4gU28gaWYgdGhlIG1vZHVsZSBpcyBub3QgcGFydCBvZiB0aGUgY29t bW9uIGxpYnJhcnksIGhvdyBkbyBJIHJlcHJvZHVjZQ0KPiB0aGUgYWN0dWFs IGJ1Zz8NCj4NCj4gQW0gMDcuMTEuMjAxNiB1bSAyMTozMCBzY2hyaWViIEdh YnJpZWwgU2NoZXJlcjoNCj4gPiBDb21wcGx1Z2luIGlzIGEgbW9kdWxlIGZy b20gdGhlIGNvbXBpbGVyIGRpc3RyaWJ1dGlvbiB0aGF0IGluZGVlZCBpcyBu ZXcNCj4gPiBpbiA0LjA0LjAuIEl0IGlzIG5vdCBpbmNsdWRlZCBpbiBvY2Ft bGNvbW1vbi5jbWEuIEl0IGlzIHBhcnQgb2YNCj4gPiBvY2FtbGJ5dGVjb21w LmNtYSwgYnV0IG5vdCBvZiBvY2FtbG9wdGNvbXAuY21hLCBhbmQgSSBiZWxp ZXZlIHRoYXQgdGhlDQo+ID4gbGF0dGVyIG9taXNzaW9uIGlzIGEgYnVnIChh cyBPcHRjb21waWxlIGRlcGVuZHMgb24gaXQpLCBzbyBtYXliZSBpdA0KPiA+ IHNob3VsZCByZWFsbHkgYmUgaW4gb2NhbWxjb21tb24uY21hLg0KPiA+DQo+ ID4gVGhpcyBsb29rcyBsaWtlIGFuIHVwc3RyZWFtIGJ1ZyAoaW4gdGhlIE9D YW1sIGRpc3RyaWJ1dGlvbikuIENvdWxkIHlvdQ0KPiA+IG9wZW4gYSBNYW50 aXMgaXNzdWU/DQo+ID4NCj4gPiBBcyBhIHdvcmthcm91bmQsIHlvdSBtYXkg YmUgYWJsZSB0byBsaW5rIHRvIHRoZSBjb21wcGx1Z2luIG1vZHVsZQ0KPiA+ IHNlcGFyYXRlbHksIGl0IGlzIGluc3RhbGxlZCBpbiB0aGUgJChvY2FtbGZp bmQgcXVlcnkgY29tcGlsZXItbGlicykNCj4gPiBkaXJlY3RvcnkuDQo+ID4N Cj4gPiBPbiBNb24sIE5vdiA3LCAyMDE2IGF0IDM6MTAgUE0sIENocmlzdG9w aCBIw7ZnZXINCj4gPiA8Y2hyaXN0b3BoLmhvZWdlckB0dS1iZXJsaW4uZGUg PG1haWx0bzpjaHJpc3RvcGguaG9lZ2VyQHR1LWJlcmxpbi5kZT4+DQo+ID4g d3JvdGU6DQo+ID4NCj4gPiAgICAgRGVhciBhbGwsDQo+ID4NCj4gPiAgICAg dG9kYXkgSSBhdHRlbXB0ZWQgdG8gbWlncmF0ZSBteSBzdGFjayB0b3dhcmRz IDQuMDQuMCAtIHVuZm9ydHVuYXRlbHkNCj4gPiAgICAgcHB4X21vbmFkaWMg aXMgbm90IHlldCBhdmFpbGFibGUgZm9yIHRoYXQgbGFuZ3VhZ2UgdmVyc2lv bi4gSQ0KPiBhdHRlbXB0ZWQNCj4gPiAgICAgdG8gYnVpbGQgaXQgbXlzZWxm LCBidXQgdG8gbm8gYXZhaWw6DQo+ID4NCj4gPiAgICAgRXJyb3I6IFJlcXVp cmVkIG1vZHVsZSBgQ29tcHBsdWdpbicgaXMgdW5hdmFpbGFibGUNCj4gPg0K PiA+ICAgICBUaGlzIGVycm9yIGlzIG5ld2x5IGludHJvZHVjZWQgaW50byA0 LjA0LjAgKGFuZCBkb2VzIG5vdCBleGlzdCBpbiB0aGUNCj4gPiAgICAgSEVB RCB2ZXJzaW9uKS4gQ29tcHBsdWdpbiBzaG91bGQgYmUgcHJvdmlkZWQgYnkg Y29tcGlsZXJsaWJzLmNvbW1vbiwNCj4gc28NCj4gPiAgICAgSSBhc3N1bWUg SSBuZWVkIHRvIGZpeCB0aGUgYnVpbGQgc3lzdGVtIHNvbWVob3cuDQo+ID4N Cj4gPiAgICAgRG9lcyBhbnlvbmUgaGF2ZSBhbnkgaWRlYSBob3cgdG8gZml4 IHRoaXM/DQo+ID4NCj4gPiAgICAgcmVnYXJkcywNCj4gPg0KPiA+ICAgICBD aHJpc3RvcGgNCj4gPiAgICAgLS0NCj4gPiAgICAgQ2hyaXN0b3BoIEjDtmdl cg0KPiA+DQo+ID4gICAgIFRlY2huaXNjaGUgVW5pdmVyc2l0w6R0IEJlcmxp bg0KPiA+ICAgICBGYWt1bHTDpHQgSVYgLSBFbGVrdHJvdGVjaG5payB1bmQg SW5mb3JtYXRpaw0KPiA+ICAgICDDnGJlcnNldHplcmJhdSB1bmQgUHJvZ3Jh bW1pZXJzcHJhY2hlbg0KPiA+DQo+ID4gICAgIFNla3IuIFRFTDEyLTIsIEVy bnN0LVJldXRlci1QbGF0eiA3LCAxMDU4NyBCZXJsaW4NCj4gPg0KPiA+ICAg ICBUZWwuOiArNDkgKDMwKSAzMTQtMjQ4OTAgPHRlbDolMkI0OSUyMCUyODMw JTI5JTIwMzE0LTI0ODkwPg0KPiA+ICAgICBFLU1haWw6IGNocmlzdG9waC5o b2VnZXJAdHUtYmVybGluLmRlDQo+ID4gICAgIDxtYWlsdG86Y2hyaXN0b3Bo LmhvZWdlckB0dS1iZXJsaW4uZGU+DQo+ID4NCj4gPg0KPg0KPg0KPiAtLQ0K PiBDaHJpc3RvcGggSMO2Z2VyDQo+DQo+IFRlY2huaXNjaGUgVW5pdmVyc2l0 w6R0IEJlcmxpbg0KPiBGYWt1bHTDpHQgSVYgLSBFbGVrdHJvdGVjaG5payB1 bmQgSW5mb3JtYXRpaw0KPiDDnGJlcnNldHplcmJhdSB1bmQgUHJvZ3JhbW1p ZXJzcHJhY2hlbg0KPg0KPiBTZWtyLiBURUwxMi0yLCBFcm5zdC1SZXV0ZXIt UGxhdHogNywgMTA1ODcgQmVybGluDQo+DQo+IFRlbC46ICs0OSAoMzApIDMx NC0yNDg5MA0KPiBFLU1haWw6IGNocmlzdG9waC5ob2VnZXJAdHUtYmVybGlu LmRlDQo+DQo+DQo= --001a1144cbfc914ada0540bc9eb4 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
I am not sure (I haven't tested the failing = build).

I use
=C2=A0 ocamlobjinfo $(ocamlfind query compiler-libs= .common)/ocamlcommon.cma
to see what is present in the archive.

<= /div>One possible explanation for the behavior of utop is that requiring th= e package adds the compiler-libs location to the include path, and therefor= e lets utop find the package when you ask for it. But the compilation of a = binary that uses this module would still fail at link-time. (On the other h= and, I'm not sure why a binary would need this module.)

In the example below, using compiler-libs.bytecomp instead of compiler-l= ibs.common fixes linking. (compiler-libs.optcomp also fails.)

$ echo "let _ =3D Compplugin.load" > test.ml
$ ocamlfind ocamlc -package compiler-libs.common -lin= kpkg test.ml
findlib: [WARNING] Interface= topdirs.cmi occurs in several directories: ...
File "test.ml", line 1:
Error: Required module `Compplu= gin' is unavailable
$ ocamlfind ocamlc -package compiler-libs.byteco= mp -linkpkg test.ml
findlib: [WARNING] In= terface topdirs.cmi occurs in several directories: ...
$

<= /div>

On Mon, Nov = 7, 2016 at 3:46 PM, Christoph H=C3=B6ger <christoph.hoeger@tu-= berlin.de> wrote:
I am goi= ng to give the workaround a try tomorrow.

Regarding the bug, are you sure about that?
When I load the common libs in utop, the module is loaded.

utop # #require "compiler-libs.common";;
=E2=94=80( 21:39:56 )=E2=94=80< command 1
>=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94= =80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80= =E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2= =94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80= =E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2= =94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94= =80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80= =E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94= =80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80= =E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2= =94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80= =E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2= =94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94= =80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80= =E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94= =80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80= =E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2= =94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94= =80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2= =94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94= =80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80= =E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80= =E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2= =94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94= =80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2= =94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94= =80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80= =E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2= =94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80= =E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2= =94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94= =80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80= =E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80{
counter: 0 }=E2=94=80utop # #typeof "Compplugin";;
module Compplugin : sig val load : string -> unit end


So if the module is not part of the common library, how do I reproduce
the actual bug?

Am 07.11.2016 um 21:30 schrieb Gabriel Scherer:
> Compplugin is a module from the compiler distribution that indeed is n= ew
> in 4.04.0. It is not included in ocamlcommon.cma. It is part of
> ocamlbytecomp.cma, but not of ocamloptcomp.cma, and I believe that the=
> latter omission is a bug (as Optcompile depends on it), so maybe it
> should really be in ocamlcommon.cma.
>
> This looks like an upstream bug (in the OCaml distribution). Could you=
> open a Mantis issue?
>
> As a workaround, you may be able to link to the compplugin module
> separately, it is installed in the $(ocamlfind query compiler-libs)
> directory.
>
> On Mon, Nov 7, 2016 at 3:10 PM, Christoph H=C3=B6ger
> <christoph.= hoeger@tu-berlin.de <mailto:christoph.hoeger@tu-berlin.de>>
> wrote:
>
>=C2=A0 =C2=A0 =C2=A0Dear all,
>
>=C2=A0 =C2=A0 =C2=A0today I attempted to migrate my stack towards 4.04.= 0 - unfortunately
>=C2=A0 =C2=A0 =C2=A0ppx_monadic is not yet available for that language = version. I attempted
>=C2=A0 =C2=A0 =C2=A0to build it myself, but to no avail:
>
>=C2=A0 =C2=A0 =C2=A0Error: Required module `Compplugin' is unavaila= ble
>
>=C2=A0 =C2=A0 =C2=A0This error is newly introduced into 4.04.0 (and doe= s not exist in the
>=C2=A0 =C2=A0 =C2=A0HEAD version). Compplugin should be provided by com= pilerlibs.common, so
>=C2=A0 =C2=A0 =C2=A0I assume I need to fix the build system somehow.
>
>=C2=A0 =C2=A0 =C2=A0Does anyone have any idea how to fix this?
>
>=C2=A0 =C2=A0 =C2=A0regards,
>
>=C2=A0 =C2=A0 =C2=A0Christoph
>=C2=A0 =C2=A0 =C2=A0--
>=C2=A0 =C2=A0 =C2=A0Christoph H=C3=B6ger
>
>=C2=A0 =C2=A0 =C2=A0Technische Universit=C3=A4t Berlin
>=C2=A0 =C2=A0 =C2=A0Fakult=C3=A4t IV - Elektrotechnik und Informatik
>=C2=A0 =C2=A0 =C2=A0=C3=9Cbersetzerbau und Programmiersprachen
>
>=C2=A0 =C2=A0 =C2=A0Sekr. TEL12-2, Ernst-Reuter-Platz 7, 10587 Berlin >
>=C2=A0 =C2=A0 =C2=A0Tel.: +49 (30) 314-24890 <tel:%2B49%20%2830= %29%20314-24890>
>=C2=A0 =C2=A0 =C2=A0E-Mail: christoph.hoeger@tu-berlin.de
>=C2=A0 =C2=A0 =C2=A0<mailto:christoph.hoeger@tu-berlin.de>
>
>


--
Christoph H=C3=B6ger

Technische Universit=C3=A4t Berlin
Fakult=C3=A4t IV - Elektrotechnik und Informatik
=C3=9Cbersetzerbau und Programmiersprachen

Sekr. TEL12-2, Ernst-Reuter-Platz 7, 10587 Berlin

Tel.: = +49 (30) 314-24890
E-Mail: christoph.hoeger@t= u-berlin.de


--001a1144cbfc914ada0540bc9eb4--