From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id 0Kw0Ervo8WNnzAAAbAwnHQ (envelope-from ) for ; Sun, 19 Feb 2023 10:15:39 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id oH5DEbvo8WOAmgAAG6o9tA (envelope-from ) for ; Sun, 19 Feb 2023 10:15:39 +0100 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 163783CD42 for ; Sun, 19 Feb 2023 10:15:38 +0100 (CET) Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=lepiller.eu header.s=dkim header.b=m3XIsz8T; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=lepiller.eu ARC-Seal: i=1; s=key1; d=yhetil.org; t=1676798139; a=rsa-sha256; cv=none; b=LtiWbSg0kUrTO3wH1m+M3cjRYB/HUuteQYAW3TjnDBSV5hP1TXqCGXwFYB0JgYFw+HOOP8 OB4OtHmb2o42DUNa/LdmbxPt/+Fr8Ghralk2irr/qOkO8+Q6zoOw3CUxHYr9LU7zCnuSQq Bv9YyYtRWFbBrsgVh2e19r4YqUhya8VKmbdCw8/IBBWOzkdGbTJxExaTyRpxAYN+AG58qM CA3jm10ytEaJlCLEm0O+Us/52VSZwb4DbgRQf7ak/4upABJIu1A0USspJlEPOeSJ6RLN/k DPCmJCtW8mpHOoRNYn4ZJ6tSn5LuvCVDZIFhdJcfM586a4/M5USqT0QLUcZpDA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=lepiller.eu header.s=dkim header.b=m3XIsz8T; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=lepiller.eu ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1676798139; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=2D0kLDXeWcMsDKnMczIKQNSD7i9CYG2ZRqcniFdMgCs=; b=X3GvUbQUZYv1168qvPKIsagL+R69eGg6F8DOuxWvbDQu1hm7g5rPqi0XES9IOWO0/Im+uK UzHxpQ8frTrE5mSPPKWPMasb5VDaocpTBNPWhV+oOi0quuadWiwcdimkn2XL3Ls+0PSlBg l2i0SoOzf0nBUSVsg4OAh++F6p/jduQQdkX3lkI3EUt7kzdnxXXRsa4D6IIEREURalT78h LtYga0zS359HTD1cCcxNHtu9LIDt50+iW/nPwTdh+1S5jt4Spsyrjr1G+fwLoUWcMp7+RU iRPgWIIxrorOH7ZA8EQfamUzt9fzAcrqRi+ArxeeCEO1de4mUMHDa5+RG7Hutg== Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pTfmr-0003x8-CD; Sun, 19 Feb 2023 04:15:13 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pTfmp-0003wd-US for guix-devel@gnu.org; Sun, 19 Feb 2023 04:15:11 -0500 Received: from lepiller.eu ([89.234.186.109]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pTfmo-0007nG-8X for guix-devel@gnu.org; Sun, 19 Feb 2023 04:15:11 -0500 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id 7ce4e502; Sun, 19 Feb 2023 09:15:06 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:cc:subject:message-id:in-reply-to:references:mime-version :content-type:content-transfer-encoding; s=dkim; bh=1KQ3RHPW4Erg bX+QN71krNt/RO+yZpVI5V4/G6Yr+Ao=; b=m3XIsz8Tu0yoUm9U5v9ef4RctPAP ZDe5CSKbe3SeS/8W9a+68cr6oA0boS0rE4R6yYZ/Rqjl+GAa6zVrV7g8LAZTDLNk 14lIky4SBHSJh3JudZ4+QxF1m0oWHdz4p9HFbd4omFk2/SmbNaVF57MWoqiXje7z KyMkT7FgbzgMQIFLcsFQmfdM8T9qG2K48P/ABxSLlTE+r80WMfBzMjmaM7WGzqIO tVnf+KOW2bBJan2on014M1/Q7qF7uiqOIi+Z3JD+qpro0Loyhh7GX25m5BT1Dk7l vlcSoER3uwZH7oh/Qou4Fdnu1+c6ZPVzRxLJgX2pR6aPeeSOrYNi+Zd6wA== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 792f420b (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Sun, 19 Feb 2023 09:15:06 +0000 (UTC) Date: Sun, 19 Feb 2023 10:15:05 +0100 From: Julien Lepiller To: Andreas Enge Cc: guix-devel@gnu.org Subject: Re: Ocaml (was: Merging core-updates?) Message-ID: <20230219101505.723562ae@sybil.lepiller.eu> In-Reply-To: References: <20230212100540.2214f16c@sybil.lepiller.eu> X-Mailer: Claws Mail 4.1.1 (GTK 3.24.30; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=89.234.186.109; envelope-from=julien@lepiller.eu; helo=lepiller.eu X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: X-Migadu-Queue-Id: 163783CD42 X-Spam-Score: -7.63 X-Migadu-Spam-Score: -7.63 X-Migadu-Scanner: scn0.migadu.com List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: guix-devel-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-TUID: 4+fV31j2DIxD ocaml-4.14 and ocaml-5 don't have this issue. I just pushed a fix for ocaml-4.09. I'll also have to fix ocaml-4.07 since it fails to build as early as camlboot. It'll take a while to test. Thanks for pointing me to that patch! Le Sat, 18 Feb 2023 12:38:55 +0100, Andreas Enge a =C3=A9crit : > Am Sat, Feb 18, 2023 at 12:03:31PM +0100 schrieb Andreas Enge: > > this looks exactly like the line that posed problems for openjdk. > > Maybe there is a patch? Could someone familiar with ocaml have a > > look? =20 >=20 > It looks like this: > https://github.com/ocaml/ocaml/pull/10266 >=20 > Andreas >=20