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 2B3537F787 for ; Mon, 7 Nov 2016 21:10:49 +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=3A8L24nB/Mn1oV5v9uRHKM819IXTAuvvDOBiVQ1KB9?= =?us-ascii?q?1uIcTK2v8tzYMVDF4r011RmSDN+duq4P0rCH+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2WVTerzWI4CIIHV2nbEwu?= =?us-ascii?q?d76zS9KZ1p7mn8mJuLTrKz1SgzS8Zb4gZD6Xli728vcsvI15N6wqwQHIqHYbM8?= =?us-ascii?q?5fxGdvOE7B102kvpT4r9Zf9HFbsvclv9NbXL/hN/AzRLlcSTAnKHwd5cvxtBCF?= =?us-ascii?q?QxHZtVUGVWBDuRpSAhPZ6wn6abdvvSbg/r522DObJtHxVbByWTOv4KpxYAP1zS?= =?us-ascii?q?0KLTo49ifbh5oj3+pgvBu9qkknkMbva4aPOa8mcw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AzAADO3iBYhyEHlYJdHQEFAQsBGAEFA?= =?us-ascii?q?QsBgwMBAQEBAYEhUo04q1SCCIgxPxQBAQEBAQEBAQEBARIBAQEKCwkJHTCCMxi?= =?us-ascii?q?CQIEzAl8NBgIBAYhUBKFsj3qCQItfDog7iWsLLYJcBZong0uBeZRyhh6RMB6EE?= =?us-ascii?q?AxXgWlxh0oBAQE?= X-IPAS-Result: =?us-ascii?q?A0AzAADO3iBYhyEHlYJdHQEFAQsBGAEFAQsBgwMBAQEBAYE?= =?us-ascii?q?hUo04q1SCCIgxPxQBAQEBAQEBAQEBARIBAQEKCwkJHTCCMxiCQIEzAl8NBgIBA?= =?us-ascii?q?YhUBKFsj3qCQItfDog7iWsLLYJcBZong0uBeZRyhh6RMB6EEAxXgWlxh0oBAQE?= X-IronPort-AV: E=Sophos;i="5.31,459,1473112800"; d="asc'?scan'208";a="199528625" 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:10:48 +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-7) with esmtpa for id 1c3qFi-00074A-1M; Mon, 07 Nov 2016 21:10:47 +0100 To: caml users From: =?UTF-8?Q?Christoph_H=c3=b6ger?= Organization: =?UTF-8?Q?Technische_Universit=c3=a4t_Berlin?= Message-ID: <0fb97852-fb76-ef8b-3b70-d268441064a8@tu-berlin.de> Date: Mon, 7 Nov 2016 21:10:45 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.4.0 MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="9KJwQQQETfcri2LgRjoe7vgmwoV4H73F1" X-PMX-Version: 6.0.0.2142326, Antispam-Engine: 2.7.2.2107409, Antispam-Data: 2016.11.7.200017 X-PMX-Spam: Gauge=IIIIIII, Probability=0%, Report='' Subject: [Caml-list] 4.04 linker woes This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --9KJwQQQETfcri2LgRjoe7vgmwoV4H73F1 Content-Type: multipart/mixed; boundary="uwQQK7VIIlO9wKAtbnL0TQF3dum8N8hDM"; protected-headers="v1" From: =?UTF-8?Q?Christoph_H=c3=b6ger?= To: caml users Message-ID: <0fb97852-fb76-ef8b-3b70-d268441064a8@tu-berlin.de> Subject: 4.04 linker woes --uwQQK7VIIlO9wKAtbnL0TQF3dum8N8hDM Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Dear all, today I attempted to migrate my stack towards 4.04.0 - unfortunately ppx_monadic is not yet available for that language version. I attempted to build it myself, but to no avail: Error: Required module `Compplugin' is unavailable 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. Does anyone have any idea how to fix this? regards, Christoph --=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 --uwQQK7VIIlO9wKAtbnL0TQF3dum8N8hDM-- --9KJwQQQETfcri2LgRjoe7vgmwoV4H73F1 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 iEYEARECAAYFAlgg38UACgkQhMBO4cVSGS+aFQCfflSdXS4QtlPkIV6E8oCc/mm5 wnUAnixpAdGp5D3zMSqf2hmFgne0kZOi =LGhm -----END PGP SIGNATURE----- --9KJwQQQETfcri2LgRjoe7vgmwoV4H73F1--