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 gBmjE+SPP2DZKwAA0tVLHw (envelope-from ) for ; Wed, 03 Mar 2021 13:32:20 +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 QIuOD+SPP2BlBQAAB5/wlQ (envelope-from ) for ; Wed, 03 Mar 2021 13:32:20 +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 8CBF81A389 for ; Wed, 3 Mar 2021 14:32:19 +0100 (CET) Received: from localhost ([::1]:46964 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lHRbu-0003SH-Ln for larch@yhetil.org; Wed, 03 Mar 2021 08:32:18 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:51572) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lHRag-00031r-Ge for guix-patches@gnu.org; Wed, 03 Mar 2021 08:31:02 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:43844) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lHRag-0003hE-91 for guix-patches@gnu.org; Wed, 03 Mar 2021 08:31:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lHRag-0001w5-6S for guix-patches@gnu.org; Wed, 03 Mar 2021 08:31: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 13:31: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.16147782227361 (code B ref 46806); Wed, 03 Mar 2021 13:31:02 +0000 Received: (at 46806) by debbugs.gnu.org; 3 Mar 2021 13:30:22 +0000 Received: from localhost ([127.0.0.1]:55385 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lHRa1-0001uZ-Jg for submit@debbugs.gnu.org; Wed, 03 Mar 2021 08:30:21 -0500 Received: from mail-wr1-f54.google.com ([209.85.221.54]:35358) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lHRZt-0001tN-Gm for 46806@debbugs.gnu.org; Wed, 03 Mar 2021 08:30:13 -0500 Received: by mail-wr1-f54.google.com with SMTP id l12so23689145wry.2 for <46806@debbugs.gnu.org>; Wed, 03 Mar 2021 05:30:13 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version; bh=/crVOZ7pD8MHymv3cSwKLkB1+h7u0rB+Wcj0MJKFLZ8=; b=m1TpX48u3/beo+82P5EAPn/fzJ/oRQbLwdXLASur/EsicSiDZPBzxnlkG8q4VLY7gg UEey2vof7rwaUI6wU6wzu+noohtd4VVJ8A6Unluz87Ik+w/WiinUtbq9QonlNf1d92P3 /hCRwcIRCe2ifqZ+GVUoK1gFEqQI7lk7t/H+6l3Im5cfN82kCXnb7kJTQmkeK1arGBh7 R4stl4g96zDwwopUsxBWeBSZ56/vRFiZgssvcaq4wbj4ivZ0MAkJWYCON6gCWw3ww4Gy tVK2rxI9copYDz29ugLrRvsZcgprPSPjLQYnIQluMgwLK0Q/gEAPPFHrwbjLyc8GYAug dqyA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version; bh=/crVOZ7pD8MHymv3cSwKLkB1+h7u0rB+Wcj0MJKFLZ8=; b=bGodT/lbKepki3V6rjPDKGNv4d5Pw7JYo4iRD1NdU8RH+H2mYKm7LCv9sC/YmebqAr 8mzpNXGsb6LqlqZBN1SxLy7dlm1/FMf1sNgndVDc32toHn8Wxw94JgjVv2BDteTvmbVx SchCwNKJXELMl1hq5riktpREubzjrK87IFf1A67u4kNw6vCtmXNjU48sanw1APqu8jbC pqyMZl9NTU5otZnGoQ5kUM9QvJlQk8A29XC4Oi3K7f5YYwgmkbExFvioGySf412s1wJo 3RxmvLvAyeH1I5WuLY/5BK8AmGBvjDJXuxFmp8TK591U5QgyS/x1rUvWzZQbYgHTdNv/ Nsmw== X-Gm-Message-State: AOAM533bNDHGilXCpIyQcVboL3/cBkljduwicfltiU1T0A6l8VekEBVp JGH17AfdsBkwHVwfzlmD10K+njyOI24= X-Google-Smtp-Source: ABdhPJwCMsUZkYRNajUqyi5XZ/oQp71XLawosXMo/+yh+pwRLbGOy2C658naTCJ8+buTQ1Flijimqg== X-Received: by 2002:adf:f587:: with SMTP id f7mr15984774wro.147.1614778207935; Wed, 03 Mar 2021 05:30:07 -0800 (PST) Received: from pfiuh02 ([193.48.40.241]) by smtp.gmail.com with ESMTPSA id a21sm7684412wmb.5.2021.03.03.05.30.07 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 03 Mar 2021 05:30:07 -0800 (PST) From: zimoun References: <20210227001244.17cc3833@tachikoma.lepiller.eu> <20210228030905.78ccf557@tachikoma.lepiller.eu> <20210228032933.6f84c90a@tachikoma.lepiller.eu> Date: Wed, 03 Mar 2021 13:54:39 +0100 In-Reply-To: <20210228032933.6f84c90a@tachikoma.lepiller.eu> (Julien Lepiller's message of "Sun, 28 Feb 2021 03:29:33 +0100") Message-ID: <87im68cs8g.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain 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=1614778339; 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: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=/crVOZ7pD8MHymv3cSwKLkB1+h7u0rB+Wcj0MJKFLZ8=; b=OQKk8D2GfjvUs/1ALb4BK5vnxTV6IariD/R9ZtkFRRKZZhf3JsEHELUlhRvjOR0WbnWSHc EiSUdP5ulxEc6a4XjSsYNRpdluizTOijsaNI9LG/KSwSjLK1TbxHegw1ryVnOvGTE85QzS JJ3Zd2XzK9ZLvR0x7yKOscsCjCfgbm2yqfQAT7QSMOwBDuI0sFpDHcVp0fTRwy6HdD6SXg w+P1TlpByyYKr/4iFd+nOJi7nndM0VhVU6UDWXoXuxna3mS98pZt4qHFf+ij/N+XC12Zxf 86P71Hhsx8SMKyiBSIzmHwi7e5aXhThOLFXpc8ckwO8zM8cxh/a+2fToZWX9lg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1614778339; a=rsa-sha256; cv=none; b=fjI/KEJGdJaeGUXNDw+EY1A4JM50NwXaaZjReIbvr8HlPX2iBRIBrDzPjdG7xUCMgXYobY NSiHDaaMRmf9SZSbMtVydycInlJvrZcc/MQEGVpSnvTHsbjWpkqFvNhxCkzL6jTqRdyg00 WnFt4eMUXdzS5zWhmBZn1MaATL3WeI+iXNRFttlEvisD67sGrl9yzj46At++X3+yeY5SQW xXdlFcAwEeRG30ABKZAZR8eg+/eeGBxUsbCuoweq5voDXk6xzZrCrc8/RiWtJw29E0L0me HwYPikcdXx7cf4x7x3SyifB9tWYSHrYolC0kRoIojQnMXcNBEUimge6B3Ie7Gg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20161025 header.b=m1TpX48u; 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=m1TpX48u; 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: 8CBF81A389 X-Spam-Score: -1.26 X-Migadu-Scanner: scn0.migadu.com X-TUID: TotnH11vHMiw Hi Julien, >>>From ed2c4c1c221eb60ddc9e47b58c03d9194c6a2beb Mon Sep 17 00:00:00 2001 > From: Julien Lepiller > Date: Sat, 27 Feb 2021 00:07:30 +0100 > Subject: [PATCH 2/2] gnu: ocaml-4.07: Bootstrap. > > * gnu/packages/ocaml.scm (ocaml-4.07): Implement bootstrap via camlboot. > --- [...] > -(define-public ocaml-4.07 > +;; This package is a bootstrap package for ocaml-4.07. It builds from camlboot, > +;; using the upstream sources for ocaml 4.07. It installs a bytecode ocamllex > +;; and ocamlc, the bytecode interpreter ocamlrun, and generated .depend files > +;; that we otherwise remove for bootstrap purposes. > +(define ocaml-4.07-boot > (package > (inherit ocaml-4.09) > (version "4.07.1") > @@ -267,11 +271,149 @@ functional, imperative and object-oriented styles of programming.") > "/ocaml-" version ".tar.xz")) [...] > + (for-each > + (lambda (file) With my config (with could be wrong), it spots out an indentation issue here. > + (copy-file file (string-append "boot/" (basename file)))) > + (cons* "stdlib/stdlib.cma" "stdlib/std_exit.cmo" "stdlib/camlheader" > + (find-files "stdlib" ".*.cmi$"))) > + (symlink "../byterun/libcamlrun.a" "boot/libcamlrun.a") > + (make "parsing/parser.mli"); required for ocamldoc/stdlib_non_prefixed It seems better to have extra space between the closing parenthesis and the semi colon. > + ;; required for dependencies > + (make "-C" "tools" > + "CAMLC=../boot/ocamlc -nostdlib -I ../boot -use-prims ../byterun/primitives -I .." > + "make_opcodes" "cvt_emit") > + ;; generate all remaining .depend files > + (make "alldepend" > + (string-append "ocamllex=" (getcwd) "/boot/ocamlrun " > + (getcwd) "/boot/ocamllex") > + (string-append "CAMLDEP=" (getcwd) "/boot/ocamlc -depend") > + (string-append "OCAMLDEP=" (getcwd) "/boot/ocamlc -depend") > + (string-append "ocamldep=" (getcwd) "/boot/ocamlc -depend")) Indentation issue? > + ;; Build ocamllex > + (make "CAMLC=boot/ocamlc -nostdlib -I boot -use-prims byterun/primitives" > + "ocamlc") Here too? > + ;; Build ocamlc > + (make "-C" "lex" > + "CAMLC=../boot/ocamlc -strict-sequence -nostdlib -I ../boot -use-prims ../byterun/primitives" > + "all"))) > + (replace 'install > + (lambda* (#:key outputs #:allow-other-keys) > + (let* ((out (assoc-ref outputs "out")) > + (bin (string-append out "/bin")) > + (depends (string-append out "/share/depends"))) > + (mkdir-p bin) > + (mkdir-p depends) > + (install-file "ocamlc" bin) > + (install-file "lex/ocamllex" bin) > + (for-each > + (lambda (file) > + (let ((dir (string-append depends "/" (dirname file)))) > + (mkdir-p dir) > + (install-file file dir))) > + (find-files "." "^\\.depend$")))))))) Maybe here too? Cheers, simon