From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id cHr4CKDYPGAPPgAA0tVLHw (envelope-from ) for ; Mon, 01 Mar 2021 12:05:52 +0000 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id +BS8BKDYPGDYDAAAB5/wlQ (envelope-from ) for ; Mon, 01 Mar 2021 12:05:52 +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 8CBAE290D6 for ; Mon, 1 Mar 2021 13:05:50 +0100 (CET) Received: from localhost ([::1]:58092 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lGhJ7-00019H-Ca for larch@yhetil.org; Mon, 01 Mar 2021 07:05:49 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:36816) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lGhIN-0000XO-8l for guix-patches@gnu.org; Mon, 01 Mar 2021 07:05:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:36750) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lGhIM-0005bk-4J for guix-patches@gnu.org; Mon, 01 Mar 2021 07:05:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lGhIM-0001Qp-0B for guix-patches@gnu.org; Mon, 01 Mar 2021 07:05:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#46806] [PATCH] gnu: ocaml-4.07: Bootstrap. Resent-From: pukkamustard Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 01 Mar 2021 12:05:01 +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.16146002645456 (code B ref 46806); Mon, 01 Mar 2021 12:05:01 +0000 Received: (at 46806) by debbugs.gnu.org; 1 Mar 2021 12:04:24 +0000 Received: from localhost ([127.0.0.1]:48296 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lGhHj-0001Pw-RK for submit@debbugs.gnu.org; Mon, 01 Mar 2021 07:04:24 -0500 Received: from mout02.posteo.de ([185.67.36.66]:41635) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lGhHg-0001Pe-Je for 46806@debbugs.gnu.org; Mon, 01 Mar 2021 07:04:22 -0500 Received: from submission (posteo.de [89.146.220.130]) by mout02.posteo.de (Postfix) with ESMTPS id 19A5A240100 for <46806@debbugs.gnu.org>; Mon, 1 Mar 2021 13:04:13 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1614600254; bh=llFiTkkEA9gSAtL9wL9FvR115QAVtbUDj94his5ygh0=; h=From:To:Cc:Subject:Date:From; b=QhTu9z5po5nGUoqVRaB3XQsDP9aRgyxBci35OLPSItp6rp2XSFh4Z5i/VxseL8lYx CInsZKPpR2CY78sEnzVxqCDbZTMPjWks33L9mM7sjXBsFI2czNseb5KpIdiW4idH3I KYDLv3spfqvfvFO5I7eawGPmE17zMAMDPJC0P3QzieO42QwHnDApscPnveIHdi8jVZ GmbxJW72sjN43RJhtf5jXWBMRWO4nxL1AFQoLM6sEiswWZdAggqalzLTlhOqk1hUD6 LlC9XFBBLsbMNrJKSsU/uYsCKudn1u+O0Z3ynxY90FMdaUVMWmTd1VoFebqEbYxPBx R8m3xRXGyBEfg== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4DpzSr5Tj6z6tmc; Mon, 1 Mar 2021 13:04:12 +0100 (CET) References: <20210227001244.17cc3833@tachikoma.lepiller.eu> <86r1l0ft2q.fsf@posteo.net> <66443FC4-A5EB-44F2-BCA3-E35962DC2FE0@lepiller.eu> <86lfb7fd41.fsf@posteo.net> User-agent: mu4e 1.4.14; emacs 27.1 From: pukkamustard In-reply-to: Date: Mon, 01 Mar 2021 13:04:11 +0100 Message-ID: <86o8g39j2c.fsf@posteo.net> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed 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=1614600351; 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=ydZD6BRQmbCde3Ol4aMJVXaXOTgTk4ZEjmM0/5vFVAk=; b=NkdW7etxHG4jPMJtMlXM3tuSK9hmsh6+AObQQXaY/JsTGVJ+uqOPE1Gjn2Vxi9g4r/UqzL Ygx2HErI0sGrAKy5BrZAka5hruGYXO1UVshBcwypyieoC9XIj3vH++/lT1DqEaMZ4q/f6O VXTYdt6dktSn16KIthHVPChTTpDwYEGXz8yy5Ee889xEni+ZDf40f87/fNS0UvpjZrSdLs bCKBcApGTIf7+EJeWZaVGmZ8znAayDMfDXpSXKJL3KotgbU4CvyOBvSasQKEBjlJZa6oLz xmj/qer4GbqmOlYd9z7WB/ut5mRRxPWpVCDScI7MG7lGvx8XHPDHFjV16w7haA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1614600351; a=rsa-sha256; cv=none; b=DaOLknIABA+o4Nr1xatdEMV3dWuWuOBqmpZKcMjvSBJZekdBCVFbBORqGkacuVJygBNrZK WtY5ix6MZ8d/tBr0cCuATeAsn2UQ3Kb6MFaaN6p6k3hUJTX7Z4VildltRWvvYWKeaXUfuL iUTxI4UcJJeAkq8FgdeO9dbQfVKo31BexqiVvgpI+6cApBOzL/XPLvq7BVeMAr9F/XITut TmkKCMb/lh1HKjU/1ZE8DVsdoR269ZNqZLunXKqBEtdMrG4q1C4d6taA6HZh8ZyW4Cie9+ Dp21WKsVX5IG2Flw14tggaET/s6F7i6KJNS2BvAZa9sT51VFV9zeYAEoG0Mj6w== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=posteo.net header.s=2017 header.b=QhTu9z5p; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.net (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=posteo.net header.s=2017 header.b=QhTu9z5p; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.net (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: 8CBAE290D6 X-Spam-Score: -1.26 X-Migadu-Scanner: scn0.migadu.com X-TUID: MleJqxBApWFG > Thanks! OK to push? Ok for me! > Le 1 mars 2021 04:16:14 GMT-05:00, pukkamustard=20 > a =C3=A9crit : >> >>I managed to build camlboot and ocaml@4.07 with your patches. >> >>> Would be fantastic if you could report build time for camlboot >>> too :). >> >>Build time (on a quad-core i7 laptop): >> >>``` >>$ time ./pre-inst-env guix build camlboot --no-offload >>. >>. >>. >>successfully built >>/gnu/store/ddi5n28hsrgvb89r8vjs0rfvapxfbaj2-camlboot-0.0.0-0.506280c.drv >>/gnu/store/79bqayhrc6qfr2k7pfk7fn6lim0f8cfx-camlboot-0.0.0-0.506280c >> >>real 322m35.119s >>user 0m1.523s >>sys 0m0.140s >>``` >> >>ocaml@4.07 with your patches applied: >> >>``` >>$ time ./pre-inst-env guix build ocaml@4.07 --no-offload >>successfully built >>/gnu/store/sdxybpxzjhib5ijn3fx3r29ycp5vvafd-ocaml-4.07.1.drv >>/gnu/store/cniid9xi3dck7kdpfm77h56h1s0701fm-ocaml-4.07.1 >> >>real 17m52.923s >>user 0m9.268s >>sys 0m1.013s >>``` >> >>ocaml@4.07 at master: >> >>``` >>$ time ./pre-inst-env guix build ocaml@4.07 --no-offload --check >>successfully built >>/gnu/store/v599h0bhpyh2rq4nrnqqf56lwbsf0f71-ocaml-4.07.1.drv >>successfully built >>/gnu/store/v599h0bhpyh2rq4nrnqqf56lwbsf0f71-ocaml-4.07.1.drv >>/gnu/store/s7j0vl88zakkdcyvw1jw8cypfzi6ljnd-ocaml-4.07.1 >> >>real 21m44.000s >>user 0m14.546s >>sys 0m1.217s >>``` >> >>> The result should be almost identical to our current=20 >>> ocaml-4.07, >>> though there are some due to different output directory being >>> embedded. >> >>Checked some random files in both ocaml's with diffoscope and=20 >>can >>confirm that differences seem to be mostly different output >>directories. >> >>Haven't run diffoscope on everything as that would take quite=20 >>some >>time... >> >>-pukkamustard >> >> >>>> >>>>Fantastic! Thank you and thanks to the camlboot project! I=20 >>>>will >>>>try and >>>>build this tonight. >>>> >>>>Julien Lepiller writes: >>>> >>>>> Hi Guix! >>>>> >>>>> This small series adds camlboot, a project to reimplement a >>>>> bootstrap >>>>> for OCaml, which lets us remove the pre-built >>>>> boot/ocaml{c,lex} >>>>> :) >>>>> >>>>> The first patch builds the bootstraped ocamlc and ocamllex. >>>>> This >>>>> takes >>>>> around 4 hours to build. The second patch rebuilds them=20 >>>>> using >>>>> the source >>>>> code for ocaml 4.07.1, instead of the modified sources used=20 >>>>> in >>>>> camlboot, and reuse them to run the main Makefile (make >>>>> world.opt). >>>>> >>>>> As a result, we have identical files for this bootstrap and >>>>> the >>>>> unbootstrapped OCaml (up to output store paths and hash of >>>>> some >>>>> files >>>>> that get embedded in native files, which differ because of=20 >>>>> the >>>>> different output path).