From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id 6A47I+SXP2CxfAAA0tVLHw (envelope-from ) for ; Wed, 03 Mar 2021 14:06:28 +0000 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id CAnkHuSXP2D3UQAAbx9fmQ (envelope-from ) for ; Wed, 03 Mar 2021 14:06:28 +0000 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 2839525BCC for ; Wed, 3 Mar 2021 15:06:28 +0100 (CET) Received: from localhost ([::1]:39594 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lHS8x-00016N-CI for larch@yhetil.org; Wed, 03 Mar 2021 09:06:27 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:59424) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lHS8Y-0000wb-IN for guix-patches@gnu.org; Wed, 03 Mar 2021 09:06:02 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:43898) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lHS8Y-00061T-An for guix-patches@gnu.org; Wed, 03 Mar 2021 09:06:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lHS8Y-0004yd-4C for guix-patches@gnu.org; Wed, 03 Mar 2021 09:06:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#46806] [PATCH] gnu: ocaml-4.07: Bootstrap. Resent-From: zimoun Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 03 Mar 2021 14:06:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 46806 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Julien Lepiller Cc: 46806@debbugs.gnu.org Received: via spool by 46806-submit@debbugs.gnu.org id=B46806.161478033719097 (code B ref 46806); Wed, 03 Mar 2021 14:06:02 +0000 Received: (at 46806) by debbugs.gnu.org; 3 Mar 2021 14:05:37 +0000 Received: from localhost ([127.0.0.1]:55444 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lHS89-0004xx-JF for submit@debbugs.gnu.org; Wed, 03 Mar 2021 09:05:37 -0500 Received: from mail-qv1-f53.google.com ([209.85.219.53]:39962) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lHS87-0004xh-VT for 46806@debbugs.gnu.org; Wed, 03 Mar 2021 09:05:36 -0500 Received: by mail-qv1-f53.google.com with SMTP id x13so5758472qvj.7 for <46806@debbugs.gnu.org>; Wed, 03 Mar 2021 06:05:35 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc:content-transfer-encoding; bh=vxp64/m6Vx1V8dPsOePhqVm2SXxUd6coO+jV1fYscp0=; b=H6kcUdkrhtAGlz+Uoo2wibDPIXglRR7Qo+1yJlj974S92BSIcbiBdSBklSuKADj3Qy C1mA0lz3BceRdp865pNRmDC6Zs/EYr0aFOg3EexvAsaZgxuwezDrY/M4pjgz7OooCopT omxgnU3Kzf5HN38ip6rEkE3IHC7nEKY/gKQGHCMIW6HHF+tioYAFOTExUP+HLRQ9wkf7 vDJOG5VZEh/jMzfm7sEQRV2/+P0ezXxusIxQQWlrh/1QAP8rTbbEIGtDsaUabjW1BciT ij4+uTd2QI3j7e55U2HzY5PtwjW1g4WXD7AgFCxGRyV/Ore5cacGK3/e9b01zBDEHdcb Wyhg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc:content-transfer-encoding; bh=vxp64/m6Vx1V8dPsOePhqVm2SXxUd6coO+jV1fYscp0=; b=ufx55/WPvetL3dnecXWo9F4BrQvzTFJ5GcJR8nENIgPrOofg330uC8GBT5NuQdgoLO z3qUngM+wEIYUVbiz2TdsPSKA7Zaxga3COWyOgFyGvzFt0rEad+3DVdqECzIDX0hfVph nZQk9JTrT2VTqUPseou2ZGJBpfhmdNN9HzVosFRwpX8Jz/nbG2LoT1IjIIbuYmkuvVxm /Q7dPJc48Bjy7abxSDvep5B7paJuyH70S0smRtCM86AN571QcoMlJjwaCWdTRoMaRpQ4 23ldb0HSzN5hiY5dgxYh9bpy5ZtS8yQy2W7BSoNszWNOWv0NFqKfemcnBBNWUb6ti2S0 nqGg== X-Gm-Message-State: AOAM532Oay6gTNigxkOKam1dxela01nEZG1MJsAJ7j0T2P6JDSpZZW6o kn2oNHtcByxRW7u8fKIgI1ZBkz//cUOeYZ+ekfkmfs8E X-Google-Smtp-Source: ABdhPJwX83A9zjCIz7Cnwx6XzVZlEw3kv+0pbFRaQTJFa1xJ5rqf5CBreOa6KOoN0DpxB0YYXNEBnfkzPI5LVbAGplw= X-Received: by 2002:ad4:5ba3:: with SMTP id 3mr2683842qvq.43.1614780329226; Wed, 03 Mar 2021 06:05:29 -0800 (PST) MIME-Version: 1.0 References: <20210227001244.17cc3833@tachikoma.lepiller.eu> <87eegwcqp1.fsf@gmail.com> <5366012A-8041-4277-B6B4-C6709EB2787B@lepiller.eu> In-Reply-To: <5366012A-8041-4277-B6B4-C6709EB2787B@lepiller.eu> From: zimoun Date: Wed, 3 Mar 2021 15:05:18 +0100 Message-ID: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1614780388; 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:resent-cc: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=vxp64/m6Vx1V8dPsOePhqVm2SXxUd6coO+jV1fYscp0=; b=A8WLwj71KPRGumH41FDHociq7ZmkMGnKdFmqu7RyemL2B3DqNAycOUz931soy0GKSWGlsn FMKDAd/xsI63aNRzRhvRhcFqqC9wlbr2P1nVZDIrVqsNK4gF1h2PvjW7Uj7oGxVnodHo07 WL9egBjBMbz+zR2UJf6DFwzEjzAM1U0E8XSVnUzKjxSAwvBC0i5YKbjRvFAEkNC4BF3uja 8mHz0yk8TKt91ouysd40Jfg8c7rQKjWdr1GUlwVJ0Vbuq2ZYHRw2KaSeP1h7Zqc/RYr+ug KMV5ioxSSwndLHqqodnnoV9zBAoI0bjR4ub+m2bnKHLHcqNH6dMRSks1+U46/A== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1614780388; a=rsa-sha256; cv=none; b=chMx0tip0YeOPQ/IyZn+lNb0F2ftMZ2e3O/6dj73LleM+cfV/mObkXv2XLKFza9EhZE78Z Na0gsk0iaIO91qeverxNbusTVJZA+Bl44/kHl443FNsQQheBmc51nm0vs3w4F8s20GYPLD HnyFudNuEPH6dRWjbl9eXp13poj2JzDgi5zn4nZ/leqlvNwjIzUrD6VL5Df+CLhbpOFE1L Cwti19dNf4NTELCQDeSJ0jkL+2IhfF4ZAhwbRfR+HODA4T070Vp25Ue43+4AWFSiCS5epZ ACp1pg7e1mcPuQ36KMHahPZvaXo/bBAUdSkvzE0+sSo+sjOrXl46ZYwGf/ad8Q== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20161025 header.b=H6kcUdkr; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Spam-Score: -1.26 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20161025 header.b=H6kcUdkr; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Queue-Id: 2839525BCC X-Spam-Score: -1.26 X-Migadu-Scanner: scn1.migadu.com X-TUID: 88gzMitTt5m7 On Wed, 3 Mar 2021 at 14:46, Julien Lepiller wrote: > > We'd have to check we actually can build them. The plan was to build menh= ir with this ocaml4.07, since it's required to generate the parser for ocam= l >=3D 4.08, and improve camlboot to support more recent versions. We would= prevent the need for a chain of bootstraps that way. Thanks for the explanations. I have tried to replace gcc by clang for camlboot but it fails. And also tried other Scheme than Guile, obviously fails. :-) > I don't think ocaml has so many dependants that it requires core-updates.= Not even sure it needs staging. Oh right, I thought that more OCaml packages were in Guix. :-) Cheers, simon