From debbugs-submit-bounces@debbugs.gnu.org Wed Mar 03 09:05:37 2021 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: Subject: Re: [bug#46806] [PATCH] gnu: ocaml-4.07: Bootstrap. To: Julien Lepiller Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 46806 Cc: 46806@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) 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