From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id sC1/NHd3O2B2RQAA0tVLHw (envelope-from ) for ; Sun, 28 Feb 2021 10:59:03 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id sAFLMHd3O2BeEQAAB5/wlQ (envelope-from ) for ; Sun, 28 Feb 2021 10:59:03 +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 2E616BA55 for ; Sun, 28 Feb 2021 11:59:03 +0100 (CET) Received: from localhost ([::1]:42326 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lGJmw-00050I-6t for larch@yhetil.org; Sun, 28 Feb 2021 05:59:02 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:57486) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lGJly-0004SS-Us for guix-patches@gnu.org; Sun, 28 Feb 2021 05:58:02 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:34361) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lGJlx-0008BF-Ng for guix-patches@gnu.org; Sun, 28 Feb 2021 05:58:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lGJlx-0004Cq-Mo for guix-patches@gnu.org; Sun, 28 Feb 2021 05:58:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#46806] [PATCH] gnu: ocaml-4.07: Bootstrap. Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 28 Feb 2021 10:58: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: pukkamustard Cc: 46806@debbugs.gnu.org Received: via spool by 46806-submit@debbugs.gnu.org id=B46806.161450985016131 (code B ref 46806); Sun, 28 Feb 2021 10:58:01 +0000 Received: (at 46806) by debbugs.gnu.org; 28 Feb 2021 10:57:30 +0000 Received: from localhost ([127.0.0.1]:45907 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lGJlR-0004C7-Uk for submit@debbugs.gnu.org; Sun, 28 Feb 2021 05:57:30 -0500 Received: from lepiller.eu ([89.234.186.109]:58954) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lGJlP-0004Bw-IJ for 46806@debbugs.gnu.org; Sun, 28 Feb 2021 05:57:28 -0500 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id c4da58bf; Sun, 28 Feb 2021 10:57:25 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date :in-reply-to:references:mime-version:content-type :content-transfer-encoding:subject:to:cc:from:message-id; s= dkim; bh=amk4xpdZoe6S1yscINkI3sZhdPseU497akdeVfxp9CE=; b=Q4r5AyP xNooHJUBgHOcde+BpOC1mUaW5H9HeVkPU6BiwuPhdtzbc2nRkjgp/s9VC2xSCe0Q 5G1WpWlGeezfddff9NXs+vl0I/LakEYn9+h1KgUFdsR223jAjnCjK/jBDrn25FW/ GJqq1GziE+ya4byQsyvirdLyvv01Fcv4N1fBNtI+w4FNAgQjzIgxdJUTKNAbOM8y q0a+7015IPayX4StyNt1ICdmySWjBZNaKtq2M3+WDPi9i32h5Xsh7uWw/aCIo78A cuu0qhUWfcRGrznAfY0KBtmvNslRSaxoRCSGnxM5y1E5+hVlATeY8R7RjxYQznbL KIl+fiF5elXP0zQ== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 19ad4430 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Sun, 28 Feb 2021 10:57:24 +0000 (UTC) Date: Sun, 28 Feb 2021 05:57:10 -0500 User-Agent: K-9 Mail for Android In-Reply-To: <86r1l0ft2q.fsf@posteo.net> References: <20210227001244.17cc3833@tachikoma.lepiller.eu> <86r1l0ft2q.fsf@posteo.net> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----TNUJNQZ077YKTCL9UAOUDT8VRZ6AFG" Content-Transfer-Encoding: 7bit From: Julien Lepiller Message-ID: <66443FC4-A5EB-44F2-BCA3-E35962DC2FE0@lepiller.eu> 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=1614509943; 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=amk4xpdZoe6S1yscINkI3sZhdPseU497akdeVfxp9CE=; b=a0getqO5TSuHavuibaDp9EvR9Zk+k2fIqTh8muhJbEkU+DCazE8jsozW10TkayaL8uRhcH PY1BNDkXggL4//NIzbUIAosOJ3LAfy7kNYtB7J2F8Mn91FfwY8Os2pOMyes0rhYr5jcpTv /hDWibrvWgf+PX069iTzxak3Lj8hpnpOtmWDhVqziohYViRi746npMrlG8vqybCU2ypMbg 7q23P7SGCix/V00DWNQv6GAybhvhlD/VeGH2OgxwgMcRqCn4c4Y23yP3awWiXS3xNB+68S dllN+7NBTNPDt/JJF6gQjN35sr1A7i8YIRRnj0056RixO7bcRMrml9qDJFlrSw== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1614509943; a=rsa-sha256; cv=none; b=ei2HOcYDT6Sl5g73o3dbEkcRLRG9utPUT5p+Kn53zQ6XCV6QensWHKZAnTe13hYHDVQcOu WN5A8HKIW9kwmrq2tSH9fRE4WHoZL95vwrcYHSBIli/GEr+rHRVraq1MtMzeEvitd/5bM5 SD4YzMkNFnDuL51tbjvEdfMWLdBe7avs78xHNVy6BzFFGq+oSkaZ1CR6krLu54HPnvWecP zMlvKTweP97o78B/G4fMQ2ezLQXikVgzZp84N9opY5wvggMZICVLXsZC5QD0v3Bd5C1kOH R4JyTEE5IM97GR61MOUIew8lw0wNX5J3UQoqwN23eUQ4jm2ggIU0bOu2YsJ4dw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=lepiller.eu header.s=dkim header.b="Q4r5AyP "; 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.27 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=lepiller.eu header.s=dkim header.b="Q4r5AyP "; dmarc=fail reason="SPF not aligned (relaxed)" header.from=lepiller.eu (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: 2E616BA55 X-Spam-Score: -1.27 X-Migadu-Scanner: scn1.migadu.com X-TUID: OdDyMesUyr6t ------TNUJNQZ077YKTCL9UAOUDT8VRZ6AFG Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Would be fantastic if you could report build time for camlboot too :)=2E Th= e result should be almost identical to our current ocaml-4=2E07, though the= re are some due to different output directory being embedded=2E Le 28 f=C3=A9vrier 2021 04:19:09 GMT-05:00, pukkamustard a =C3=A9crit : > >Fantastic! Thank you and thanks to the camlboot project! I will=20 >try and >build this tonight=2E > >Julien Lepiller writes: > >> Hi Guix! >> >> This small series adds camlboot, a project to reimplement a=20 >> bootstrap >> for OCaml, which lets us remove the pre-built boot/ocaml{c,lex}=20 >> :) >> >> The first patch builds the bootstraped ocamlc and ocamllex=2E This=20 >> takes >> around 4 hours to build=2E The second patch rebuilds them using=20 >> the source >> code for ocaml 4=2E07=2E1, instead of the modified sources used in >> camlboot, and reuse them to run the main Makefile (make=20 >> world=2Eopt)=2E >> >> As a result, we have identical files for this bootstrap and the >> unbootstrapped OCaml (up to output store paths and hash of some=20 >> files >> that get embedded in native files, which differ because of the >> different output path)=2E ------TNUJNQZ077YKTCL9UAOUDT8VRZ6AFG Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable Would be fantastic if you could report build time = for camlboot too :)=2E The result should be almost identical to our current= ocaml-4=2E07, though there are some due to different output directory bein= g embedded=2E

Le 28 f=C3=A9vrier 2021 04:= 19:09 GMT-05:00, pukkamustard <pukkamustard@posteo=2Enet> a =C3=A9cri= t :

Fantastic! Thank you and thanks to the camlboot =
project! I will 
try and
build this tonight=2E

Julien Lepiller=
 <julien@lepiller=2Eeu> writes:

 Hi Guix!

 This small series adds camlboot, a pro=
ject to reimplement a 
 bootstrap
 for OCaml, which lets us remove th=
e pre-built boot/ocaml{c,lex} 
 :)

 The first patch builds the bo=
otstraped ocamlc and ocamllex=2E This 
 takes
 around 4 hours to buil=
d=2E The second patch rebuilds them using 
 the source
 code for ocam=
l 4=2E07=2E1, instead of the modified sources used in
 camlboot, and reu=
se them to run the main Makefile (make 
 world=2Eopt)=2E

 As a re=
sult, we have identical files for this bootstrap and the
 unbootstrapped=
 OCaml (up to output store paths and hash of some 
 files
 that get e=
mbedded in native files, which differ because of the
 different output p=
ath)=2E

------TNUJNQZ077YKTCL9UAOUDT8VRZ6AFG--