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 337A87F787 for ; Mon, 7 Nov 2016 23:04:58 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=alain@frisch.fr; spf=None smtp.mailfrom=alain@frisch.fr; spf=None smtp.helo=postmaster@vrout10.yaziba.net Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of alain@frisch.fr) identity=pra; client-ip=185.56.204.34; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of alain@frisch.fr) identity=mailfrom; client-ip=185.56.204.34; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@vrout10.yaziba.net) identity=helo; client-ip=185.56.204.34; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alain@frisch.fr"; x-sender="postmaster@vrout10.yaziba.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ASo2eeBDayGzwlrHZSKoLUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP/5o8bcNUDSrc9gkEXOFd2CrakV0ayH7+u5BDJIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBy?= =?us-ascii?q?brysXNWD1YLmi6vrpsObSj4LrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYe?= =?us-ascii?q?VcyDAgD1uSmxHh+pX4p8Y7oGx48sgs/M9YUKj8Y79wDfkBVGxnYCgJ45jEvBPZ?= =?us-ascii?q?TAaLrkAXUmgMnwAAVwfM5gv7U5O3qSD6u/BwwgGVOMT3SfY/XjH0q+9ASAXpkz?= =?us-ascii?q?sALz4O0P/Yh9Y42KlbuhO6uxtnw8jUZ4yaOeBWYr6Yd94AQWtHGMpcAX9vGIS5?= =?us-ascii?q?OqILBusHdchCrpL2pxNapB+3BA+ECvnu0TRIwHHsi/5pm989GB3LiVRzV+kFt2?= =?us-ascii?q?7Z+ZCsbP8f?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ALBgDH+SBY/yLMOLldGwEBAQMBAQEJA?= =?us-ascii?q?QEBFwEBBAEBCgEBgwMBAQEBAXonpQyWWoYkAoJXEAEBAQEBAQEBAQEBYSiCMwQ?= =?us-ascii?q?BFQEEgg8BAQEDASMVQQULCxgCAiYCAlcGAQwIAQGITAwBsXCCQIs/AQEBAQEFA?= =?us-ascii?q?QEBAQEBIYEJhzKCWIdLglwBBJonX49lZ4kPhhqJUINahAQCNSBjDQobhRCGbYF?= =?us-ascii?q?OAQEB?= X-IPAS-Result: =?us-ascii?q?A0ALBgDH+SBY/yLMOLldGwEBAQMBAQEJAQEBFwEBBAEBCgE?= =?us-ascii?q?BgwMBAQEBAXonpQyWWoYkAoJXEAEBAQEBAQEBAQEBYSiCMwQBFQEEgg8BAQEDA?= =?us-ascii?q?SMVQQULCxgCAiYCAlcGAQwIAQGITAwBsXCCQIs/AQEBAQEFAQEBAQEBIYEJhzK?= =?us-ascii?q?CWIdLglwBBJonX49lZ4kPhhqJUINahAQCNSBjDQobhRCGbYFOAQEB?= X-IronPort-AV: E=Sophos;i="5.31,459,1473112800"; d="scan'208";a="199536121" Received: from vrout10-bl.yaziba.net (HELO vrout10.yaziba.net) ([185.56.204.34]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 07 Nov 2016 23:04:57 +0100 Received: from mtaout10.int.yaziba.net (mtaout10.int.yaziba.net [10.4.20.36]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by vrout10.yaziba.net (mx10.yaziba.net) with ESMTPS id 1CE0F52006; Mon, 7 Nov 2016 23:04:56 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by mtaout10.int.yaziba.net (Postfix) with ESMTP id 3266B1603C0; Mon, 7 Nov 2016 23:04:56 +0100 (CET) X-Virus-Scanned: amavisd-new at Received: from mtaout10.int.yaziba.net ([127.0.0.1]) by localhost (mtaout10.int.yaziba.net [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id 7Lvd7Q6Cn2iZ; Mon, 7 Nov 2016 23:04:56 +0100 (CET) Received: from [192.168.1.11] (LFbn-1-9137-104.w86-238.abo.wanadoo.fr [86.238.27.104]) by mtaout10.int.yaziba.net (Postfix) with ESMTPSA id 070A41600AD; Mon, 7 Nov 2016 23:04:56 +0100 (CET) To: Gabriel Scherer , =?UTF-8?Q?Christoph_H=c3=b6ger?= References: <0fb97852-fb76-ef8b-3b70-d268441064a8@tu-berlin.de> Cc: caml users From: Alain Frisch Message-ID: <01907fd4-be1f-351e-d5a0-0a644c29eb9d@frisch.fr> Date: Mon, 7 Nov 2016 23:04:57 +0100 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:45.0) Gecko/20100101 Thunderbird/45.4.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-DRWEB-SCAN: ok X-VRSPAM-SCORE: -100 X-VRSPAM-STATE: legit X-VRSPAM-CAUSE: gggruggvucftvghtrhhoucdtuddrfeelvddrleeggdduheekucetufdoteggodetrfcurfhrohhfihhlvgemucggtfgfnhhsuhgsshgtrhhisggvnecuuegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenucfjughrpefuvfhfhffkffgfgggjtgfgsehtjeertddtfeejnecuhfhrohhmpeetlhgrihhnucfhrhhishgthhcuoegrlhgrihhnsehfrhhishgthhdrfhhrqeenucffohhmrghinheptghmrgdrihhtnecukfhppeekiedrvdefkedrvdejrddutdegnecurfgrrhgrmhepmhhouggvpehsmhhtphhouhht X-VRSPAM-EXTCAUSE: mhhouggvpehsmhhtphhouhht X-Validation-by: alain.frisch@lexifi.com Subject: Re: [Caml-list] 4.04 linker woes On 07/11/2016 21:30, Gabriel Scherer wrote: > 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. ocamlopt now includes ocamlbytecomp.cma. The reason is that the copy of Dynlink which is now included in ocamlopt relies on many modules found in this library. This is not ideal, as this will force linking unneeded modules in ocamlopt (well, -linkall is not currently used, but to make ocamlc/ocamlopt work well with plugins, it probably should). I guess the fix is to add ocamlbytecomp wherever ocamloptcomp is required. > As a workaround, you may be able to link to the compplugin module > separately, it is installed in the $(ocamlfind query compiler-libs) > directory. Compplugin depends on Compdynlink (which depends on many modules in ocamlbytecomp.cma); it cannot simply be linked separately, I think. -- Alain