From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 9A3707F787 for ; Mon, 7 Nov 2016 21:46:32 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=christoph.hoeger@tu-berlin.de; spf=None smtp.mailfrom=christoph.hoeger@tu-berlin.de; spf=None smtp.helo=postmaster@mail.tu-berlin.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of christoph.hoeger@tu-berlin.de) identity=pra; client-ip=130.149.7.33; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="christoph.hoeger@tu-berlin.de"; x-sender="christoph.hoeger@tu-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of christoph.hoeger@tu-berlin.de) identity=mailfrom; client-ip=130.149.7.33; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="christoph.hoeger@tu-berlin.de"; x-sender="christoph.hoeger@tu-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail.tu-berlin.de) identity=helo; client-ip=130.149.7.33; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="christoph.hoeger@tu-berlin.de"; x-sender="postmaster@mail.tu-berlin.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AFZgCtBwKc7RAbLbXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?0e8eIJqq85mqBkHD//Il1AaPBtSBraMYwLOM4ujJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL2PbrnD61zMOABK3bVMz?= =?us-ascii?q?fbWvXN+OxJ3thqibwN76W01wnj2zYLd/fl2djD76kY0ou7ZkMbs70RDTo3FFKK?= =?us-ascii?q?x8zGJsIk+PzV6nvp/jtM0rzyMFsPsk84ZdSqjgZOxsRrVdCHEiMnspzMztrxjK?= =?us-ascii?q?CwWVsCgySGITxzFIGQne8BbiXqDRLCT3rKIp0ymAPNbqSqg0HzSl4qhmUjf0lW?= =?us-ascii?q?INOiQ98WeRhsEm3/ETmw6ouxEqm92cW4qSLvcrJq4=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AsAAD75iBYhyEHlYJdHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgwMBAQEBAYEhUo04lwKUUoIIhiQCghA/FAEBAQEBAQEBAQEBEgE?= =?us-ascii?q?BAQoLCQkdMIIzGIIXAQEEIwRiCQIYJwMCAkYRBg0GAgEBiFQElCmdP4FuUos8D?= =?us-ascii?q?BcOiDsIglCHEwstglwFmieDS4F5lHKGHo0qhAYegUyDJ4FpcYdKAQEB?= X-IPAS-Result: =?us-ascii?q?A0AsAAD75iBYhyEHlYJdHAEBBAEBCgEBFwEBBAEBCgEBgwM?= =?us-ascii?q?BAQEBAYEhUo04lwKUUoIIhiQCghA/FAEBAQEBAQEBAQEBEgEBAQoLCQkdMIIzG?= =?us-ascii?q?IIXAQEEIwRiCQIYJwMCAkYRBg0GAgEBiFQElCmdP4FuUos8DBcOiDsIglCHEws?= =?us-ascii?q?tglwFmieDS4F5lHKGHo0qhAYegUyDJ4FpcYdKAQEB?= X-IronPort-AV: E=Sophos;i="5.31,459,1473112800"; d="asc'?scan'208";a="199530901" Received: from mail.tu-berlin.de ([130.149.7.33]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 07 Nov 2016 21:46:31 +0100 X-tubIT-Incoming-IP: 91.66.22.179 Received: from ip5b4216b3.dynamic.kabel-deutschland.de ([91.66.22.179] helo=[192.168.178.42]) by mail.tu-berlin.de (exim-4.84_2/mailfrontend-5) with esmtpa for id 1c3qoI-0002zu-6W; Mon, 07 Nov 2016 21:46:31 +0100 References: <0fb97852-fb76-ef8b-3b70-d268441064a8@tu-berlin.de> To: caml users From: =?UTF-8?Q?Christoph_H=c3=b6ger?= Organization: =?UTF-8?Q?Technische_Universit=c3=a4t_Berlin?= Message-ID: <6573e8af-6562-c63d-fdf0-ed78117b645d@tu-berlin.de> Date: Mon, 7 Nov 2016 21:46:29 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.4.0 MIME-Version: 1.0 In-Reply-To: Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="Tb3H1MhGsTw8H7eM4APld6J0P8tgnDtpK" X-PMX-Version: 6.0.0.2142326, Antispam-Engine: 2.7.2.2107409, Antispam-Data: 2016.11.7.203616 X-PMX-Spam: Gauge=IIIIIII, Probability=0%, Report='' Subject: Re: [Caml-list] 4.04 linker woes This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --Tb3H1MhGsTw8H7eM4APld6J0P8tgnDtpK Content-Type: multipart/mixed; boundary="sQCCx3Vc0iwNXau1FgqXlj9vUMncXGeLm"; protected-headers="v1" From: =?UTF-8?Q?Christoph_H=c3=b6ger?= To: caml users Message-ID: <6573e8af-6562-c63d-fdf0-ed78117b645d@tu-berlin.de> Subject: Re: [Caml-list] 4.04 linker woes References: <0fb97852-fb76-ef8b-3b70-d268441064a8@tu-berlin.de> In-Reply-To: --sQCCx3Vc0iwNXau1FgqXlj9vUMncXGeLm Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable I am going 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 new > 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. >=20 > This looks like an upstream bug (in the OCaml distribution). Could you > open a Mantis issue? >=20 > As a workaround, you may be able to link to the compplugin module > separately, it is installed in the $(ocamlfind query compiler-libs) > directory. >=20 > On Mon, Nov 7, 2016 at 3:10 PM, Christoph H=C3=B6ger > > > wrote: >=20 > Dear all, >=20 > today I attempted to migrate my stack towards 4.04.0 - unfortunately > ppx_monadic is not yet available for that language version. I attempt= ed > to build it myself, but to no avail: >=20 > Error: Required module `Compplugin' is unavailable >=20 > This error is newly introduced into 4.04.0 (and does not exist in the > HEAD version). Compplugin should be provided by compilerlibs.common, = so > I assume I need to fix the build system somehow. >=20 > Does anyone have any idea how to fix this? >=20 > regards, >=20 > Christoph > -- > Christoph H=C3=B6ger >=20 > Technische Universit=C3=A4t Berlin > Fakult=C3=A4t IV - Elektrotechnik und Informatik > =C3=9Cbersetzerbau und Programmiersprachen >=20 > Sekr. TEL12-2, Ernst-Reuter-Platz 7, 10587 Berlin >=20 > Tel.: +49 (30) 314-24890 > E-Mail: christoph.hoeger@tu-berlin.de > >=20 >=20 --=20 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@tu-berlin.de --sQCCx3Vc0iwNXau1FgqXlj9vUMncXGeLm-- --Tb3H1MhGsTw8H7eM4APld6J0P8tgnDtpK Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iEYEARECAAYFAlgg6CUACgkQhMBO4cVSGS/ClwCfYrrFrqHR36QY7jEc68mx859f zIwAnA2bM52IraAN6+2DCpCMjM5etZ3E =yLG8 -----END PGP SIGNATURE----- --Tb3H1MhGsTw8H7eM4APld6J0P8tgnDtpK--