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 2BEA27F787 for ; Mon, 7 Nov 2016 21:30:54 +0100 (CET) Authentication-Results: mail3-smtp-sop.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-f46.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.214.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.214.46 as permitted sender) identity=mailfrom; client-ip=209.85.214.46; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-it0-f46.google.com) identity=helo; client-ip=209.85.214.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-it0-f46.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Ato98SxxUPBnfcI3XCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?0e0WIJqq85mqBkHD//Il1AaPBtSBraMYwLOM4ujJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL2PbrnD61zMOABK3bVMz?= =?us-ascii?q?fbWvXN+OxJ3thqibwN76W01wnj2zYLd/fl2djD76kY0ou7ZkMbs70RDTo3FFKK?= =?us-ascii?q?x8zGJsIk+PzV6nvp/jtM0rzyMFkPI79tVcVr36SISmQrFCRGAtM3o0/9HsrRmF?= =?us-ascii?q?TQyC6XYGenkL1xBFGQzE6lf2U8GinDH9s79S0SOAPMDyBYs/WTm44r0jHBDhgj?= =?us-ascii?q?0GOjp/62rXh9Z9lopUpRugo1p0xIuCM9LdD+Z3Yq6IJYBSfmFGRMsEDyE=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BuAABy4yBYhi7WVdFdHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgwMBAQEBAT2BNgeNMZcCiFaGYoUaggiGJAKCBgc/FAEBAQEBAQE?= =?us-ascii?q?BAQEBEgEBAQgLCwkdMIIzGIIXAQEDARIRHQEbHQEDAQsGBQQHNwICIgERAQUBH?= =?us-ascii?q?AYTIogbAQMPCKN3gTI/MotPggwGAS2DGgWDYgoZJw1UgxABAQEBAQEBAwEBAQE?= =?us-ascii?q?BARkCBhCGLoRVh0uCXAWPTYpagWuOWZAQjSqCQxMegRIegRoygwcgggYgNIdKA?= =?us-ascii?q?QEB?= X-IPAS-Result: =?us-ascii?q?A0BuAABy4yBYhi7WVdFdHAEBBAEBCgEBFwEBBAEBCgEBgwM?= =?us-ascii?q?BAQEBAT2BNgeNMZcCiFaGYoUaggiGJAKCBgc/FAEBAQEBAQEBAQEBEgEBAQgLC?= =?us-ascii?q?wkdMIIzGIIXAQEDARIRHQEbHQEDAQsGBQQHNwICIgERAQUBHAYTIogbAQMPCKN?= =?us-ascii?q?3gTI/MotPggwGAS2DGgWDYgoZJw1UgxABAQEBAQEBAwEBAQEBARkCBhCGLoRVh?= =?us-ascii?q?0uCXAWPTYpagWuOWZAQjSqCQxMegRIegRoygwcgggYgNIdKAQEB?= X-IronPort-AV: E=Sophos;i="5.31,459,1473112800"; d="scan'208,217";a="199530018" Received: from mail-it0-f46.google.com ([209.85.214.46]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 07 Nov 2016 21:30:52 +0100 Received: by mail-it0-f46.google.com with SMTP id q124so152857170itd.1 for ; Mon, 07 Nov 2016 12:30:52 -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=5yNjsvj7jS6e3ZcUM3gtEWaK8kyzet1As4qUYUhr6+s=; b=LiiTBTfusbpqJBOW7ZNFwHfRegxQGh56mFll+3MMLfTizNWsXll32SCVfPJDjfKxCX wBK/Ppwy3sHApHTOciJwxD+IBoH+l/5bflGEqGSlPL/2NCcIL3JtpJbfOv4S+Z/pCGRp TPcKEc8O+y2s9TtiH6sl2QPuJ/89+Zmun6U4mOObIYpGTod4dPOP2PtjVphoXoLztmeu Pe8VnPrybdrZs68NlfxCPNhZsAc7QiNIeCNExFq5UsKfUt/NtWq+TdBMogmT0Gh1fnNK PSyZRDgGhKYE30u5/sY1J6mX9E5SbyaDNp0ZNfrK0mJg2YcyCae098JQHkYxmrF6cZeD wkVg== 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=5yNjsvj7jS6e3ZcUM3gtEWaK8kyzet1As4qUYUhr6+s=; b=bfndCrfJ1hjwPpdcV7gyw79uDd4GlrrtMc061ma5MbmmGTK7fi2JCXlpSyrPZxyPRt ZyEcV/1cCIp8fVHcnu43TXIWuoWM+ZJCJHDk0Ynam0s9+C8NNpsaGLNWpq4Y3ImjX+MY l1ZyIDm08lZ4f7y6mKdej6+VGuN9bhIqhMjMatvV3nOMHZuSSrHc9yLO0ppOzSmvbvvH gy9hi57rkD18sg6vpE0L/zpGtOyVMYd3Qe2ENCJwrQVF7BWbk7z0TZhqGqaG1gUBEdYF RFEc3vtlOEN4eA7Qwx92Jk1WnlSnXosWQvcS+/bjBQ3D2zsXYj7fh+QqsBEC6PHBj1yw XPrg== X-Gm-Message-State: ABUngvdm1q9lkTrplea648iQ61U7DfCxptU0hqvYoHh04HT8WpnDBhW34eg+lFJlrU+b3eAbDzpW8vZNrDXJuA== X-Received: by 10.36.22.212 with SMTP id a203mr7708340ita.3.1478550651650; Mon, 07 Nov 2016 12:30:51 -0800 (PST) MIME-Version: 1.0 Received: by 10.79.30.129 with HTTP; Mon, 7 Nov 2016 12:30:11 -0800 (PST) In-Reply-To: <0fb97852-fb76-ef8b-3b70-d268441064a8@tu-berlin.de> References: <0fb97852-fb76-ef8b-3b70-d268441064a8@tu-berlin.de> From: Gabriel Scherer Date: Mon, 7 Nov 2016 15:30:11 -0500 Message-ID: To: =?UTF-8?Q?Christoph_H=C3=B6ger?= Cc: caml users Content-Type: multipart/alternative; boundary=001a1144cbfc5fda1f0540bbe648 Subject: Re: [Caml-list] 4.04 linker woes --001a1144cbfc5fda1f0540bbe648 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 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. 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> wrote: > 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 > -- > 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 > > --001a1144cbfc5fda1f0540bbe648 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Compplugin is a module from the compiler distrib= ution 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.

This looks like an ups= tream bug (in the OCaml distribution). Could you open a Mantis issue?
As a workaround, you may be able to link to the compplugin module s= eparately, it is installed in the $(ocamlfind query compiler-libs) director= y.

On Mo= n, Nov 7, 2016 at 3:10 PM, Christoph H=C3=B6ger <christoph.hoe= ger@tu-berlin.de> wrote:
De= ar 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
--
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


--001a1144cbfc5fda1f0540bbe648--