From unknown Thu Sep 11 20:49:00 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#38063 <38063@debbugs.gnu.org> To: bug#38063 <38063@debbugs.gnu.org> Subject: Status: [PATCH 0/2] gnu: Add m2-planet-boot0. Reply-To: bug#38063 <38063@debbugs.gnu.org> Date: Fri, 12 Sep 2025 03:49:00 +0000 retitle 38063 [PATCH 0/2] gnu: Add m2-planet-boot0. reassign 38063 guix-patches submitter 38063 Jan Nieuwenhuizen severity 38063 normal tag 38063 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Mon Nov 04 17:39:22 2019 Received: (at submit) by debbugs.gnu.org; 4 Nov 2019 22:39:22 +0000 Received: from localhost ([127.0.0.1]:37707 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iRl0I-00010x-0P for submit@debbugs.gnu.org; Mon, 04 Nov 2019 17:39:22 -0500 Received: from lists.gnu.org ([209.51.188.17]:48271) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iRl0G-00010p-M4 for submit@debbugs.gnu.org; Mon, 04 Nov 2019 17:39:16 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:39525) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iRl0F-0002nW-Cu for guix-patches@gnu.org; Mon, 04 Nov 2019 17:39:16 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.0 required=5.0 tests=ALL_TRUSTED,BAYES_40, URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:470:142:3::e]:39441) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1iRl0F-000250-2k; Mon, 04 Nov 2019 17:39:15 -0500 Received: from [2001:980:1b4f:1:42d2:832d:bb59:862] (port=34368 helo=dundal.peder.onsbrabantnet.nl) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1iRl0D-0002cR-Us; Mon, 04 Nov 2019 17:39:14 -0500 From: Jan Nieuwenhuizen To: guix-patches@gnu.org Subject: [PATCH 0/2] gnu: Add m2-planet-boot0. Date: Mon, 04 Nov 2019 23:39:06 +0100 Message-ID: <87ftj3b71x.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: submit Cc: Jeremiah Orians 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 (-) Hi! Following this great news by Jeremiah Orians today https://lists.reproducible-builds.org/pipermail/rb-general/2019-Novembe= r/001711.html I decided to create a first bootstrap package for M2-Planet. For now this is mostly "Just for Fun". The gap to building the next package of the bootstrap: `mes-boot' has not been bridged yet, although GNU Mes is also close to being bootstrappable with M2-Planet. Note that disregarding the build tools (bootstrap-guile, bootstrap-coreutils&co), this package builds M2-Planet using only a ~500 byte binary seed! Many thanks to Jeremiah! Enjoy and Greetings, janneke Jan Nieuwenhuizen (2): gnu: Add m2-planet. bootstrap: Add m2-planet-boot0. gnu/packages/commencement.scm | 103 +++++++++++++++++++++++++++++++++- gnu/packages/mes.scm | 32 +++++++++++ 2 files changed, 134 insertions(+), 1 deletion(-) --=20 2.23.0 --=20 Jan Nieuwenhuizen | GNU LilyPond http://lilypond.org Freelance IT http://JoyofSource.com | Avatar=C2=AE http://AvatarAcademy.com From debbugs-submit-bounces@debbugs.gnu.org Mon Nov 04 17:42:55 2019 Received: (at 38063) by debbugs.gnu.org; 4 Nov 2019 22:42:55 +0000 Received: from localhost ([127.0.0.1]:37713 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iRl3n-00017Q-2i for submit@debbugs.gnu.org; Mon, 04 Nov 2019 17:42:55 -0500 Received: from eggs.gnu.org ([209.51.188.92]:33345) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iRl3l-000179-6M for 38063@debbugs.gnu.org; Mon, 04 Nov 2019 17:42:53 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]:39475) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1iRl3c-0006Jg-Sd; Mon, 04 Nov 2019 17:42:45 -0500 Received: from [2001:980:1b4f:1:42d2:832d:bb59:862] (port=34496 helo=dundal.fritz.box) by fencepost.gnu.org with esmtpa (Exim 4.82) (envelope-from ) id 1iRl3c-0002sv-6J; Mon, 04 Nov 2019 17:42:44 -0500 From: Jan Nieuwenhuizen To: 38063@debbugs.gnu.org Subject: [PATCH 1/2] gnu: Add m2-planet. Date: Mon, 4 Nov 2019 23:42:42 +0100 Message-Id: <20191104224243.19953-1-janneke@gnu.org> X-Mailer: git-send-email 2.24.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 38063 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: -3.3 (---) * gnu/packages/mes.scm (m2-planet): New variable. --- gnu/packages/mes.scm | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) diff --git a/gnu/packages/mes.scm b/gnu/packages/mes.scm index 3174c0c115..55d731d876 100644 --- a/gnu/packages/mes.scm +++ b/gnu/packages/mes.scm @@ -204,3 +204,35 @@ get_machine.") ((#:make-flags _) `(list (string-append "PREFIX=" (assoc-ref %outputs "out")) "CC=gcc")))))) + +(define-public m2-planet + (let ((commit "1fc2aeab483208bd2ba117b21df3894c182470ec") + (revision "0")) + (package + (name "m2-planet") + (version (string-append "1.4.0-" revision "." (string-take commit 7))) + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/oriansj/m2-planet.git") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1fj3xiqcibdfi78b43nn6w8hs3vkz32yb06n8r5mna8pnjdmn00l")))) + (native-inputs + `(("mescc-tools" ,mescc-tools))) + (build-system gnu-build-system) + (arguments + `(#:make-flags (list (string-append "PREFIX=" (assoc-ref %outputs "out"))) + #:tests? #f + #:phases (modify-phases %standard-phases + (delete 'bootstrap) + (delete 'configure)))) + (synopsis "The PLAtform NEutral Transpiler") + (description + "M2-Planet, The PLAtform NEutral Transpiler, when combined with +mescc-tools compiles a subset of the C language into working binaries +with introspective steps inbetween.") + (home-page "https://github.com/oriansj/m2-planet") + (license gpl3+)))) -- 2.23.0 From debbugs-submit-bounces@debbugs.gnu.org Mon Nov 04 17:43:07 2019 Received: (at 38063) by debbugs.gnu.org; 4 Nov 2019 22:43:07 +0000 Received: from localhost ([127.0.0.1]:37715 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iRl3o-00017f-FV for submit@debbugs.gnu.org; Mon, 04 Nov 2019 17:43:00 -0500 Received: from eggs.gnu.org ([209.51.188.92]:33349) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iRl3l-00017A-7O for 38063@debbugs.gnu.org; Mon, 04 Nov 2019 17:42:56 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]:39476) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1iRl3d-0006K1-MK; Mon, 04 Nov 2019 17:42:47 -0500 Received: from [2001:980:1b4f:1:42d2:832d:bb59:862] (port=34496 helo=dundal.fritz.box) by fencepost.gnu.org with esmtpa (Exim 4.82) (envelope-from ) id 1iRl3d-0002sv-7e; Mon, 04 Nov 2019 17:42:45 -0500 From: Jan Nieuwenhuizen To: 38063@debbugs.gnu.org Subject: [PATCH 2/2] bootstrap: Add m2-planet-boot0. Date: Mon, 4 Nov 2019 23:42:43 +0100 Message-Id: <20191104224243.19953-2-janneke@gnu.org> X-Mailer: git-send-email 2.24.0 In-Reply-To: <20191104224243.19953-1-janneke@gnu.org> References: <20191104224243.19953-1-janneke@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 38063 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 (-) * gnu/packages/commencement.scm (m2-planet-boot0): New variable. --- gnu/packages/commencement.scm | 103 +++++++++++++++++++++++++++++++++- 1 file changed, 102 insertions(+), 1 deletion(-) diff --git a/gnu/packages/commencement.scm b/gnu/packages/commencement.scm index 54746151ce..31722b4cf3 100644 --- a/gnu/packages/commencement.scm +++ b/gnu/packages/commencement.scm @@ -5,7 +5,7 @@ ;;; Copyright © 2014, 2015, 2017 Mark H Weaver ;;; Copyright © 2017, 2018, 2019 Efraim Flashner ;;; Copyright © 2018 Tobias Geerinckx-Rice -;;; Copyright © 2018 Jan (janneke) Nieuwenhuizen +;;; Copyright © 2018, 2019 Jan (janneke) Nieuwenhuizen ;;; Copyright © 2019 Marius Bakke ;;; ;;; This file is part of GNU Guix. @@ -84,6 +84,107 @@ ;;; ;;; Code: +(define-public m2-planet-boot0 + ;; The soon-to-be initial bootstrap package: no binary inputs except for a + ;; ~500 byte binary seed: `x86/hex0-seed'. + (let* ((version "1.4.0") + (revision "0") + (commit "1fc2aeab483208bd2ba117b21df3894c182470ec") + (seed-version "Release_1.1") + (mescc-tools-version "Release_0.6.1") + (mes-m2-commit "f025a24b19e8447fb96ba1746bdad494ae63a514") + (mes-m2-version (string-append "0.19-" (string-take mes-m2-commit 7)))) + (package + (inherit m2-planet) + (name "m2-planet-boot0") + (version (string-append version "-" revision "." (string-take commit 7))) + (source (origin + (method url-fetch) + (uri (string-append + "https://github.com/oriansj/m2-planet" + "/archive/" commit ".tar.gz")) + (file-name (string-append "mescc-tools-seed-" version ".tar.gz")) + (sha256 + (base32 + "09dfbhrkfq754lkk9qqsa95rgfp5crdwy8l4db97qwfclr0y914z")))) + (inputs `(("mescc-tools-seed" + ,(bootstrap-origin + (origin + (method url-fetch) + (uri (string-append + "https://github.com/oriansj/mescc-tools-seed" + "/archive/" seed-version ".tar.gz")) + (file-name (string-append "mescc-tools-seed-" seed-version + ".tar.gz")) + (sha256 + (base32 + "1ymkaanx3b9x8y3n4x0kpqxyjcql3gpv37hp1cbzvhwh89yqy6m4"))))) + ("mescc-tools-source" + ,(bootstrap-origin + (origin + (method url-fetch) + (uri (string-append + "https://github.com/oriansj/mescc-tools" + "/archive/" mescc-tools-version ".tar.gz")) + (file-name (string-append "mescc-tools-" + mescc-tools-version + ".tar.gz")) + (sha256 + (base32 + "06jpvq6xfjzn2al6b4rdwd3zv3h4cvilc4n9gqcnjr9cr6wjpw2n"))))) + ("mes-m2-source" + ,(bootstrap-origin + (origin + (method url-fetch) + (uri (string-append + "https://github.com/oriansj/mes-m2" + "/archive/" mes-m2-commit ".tar.gz")) + (file-name (string-append "mes-m2-" + mes-m2-version + ".tar.gz")) + (sha256 + (base32 + "092ydx21cms8rkgx5dfndxi4hrw9jqw9r266h4rsvycpv2lw6kp1"))))))) + (native-inputs + `(("coreutils" , %bootstrap-coreutils&co) + ("guile" , %bootstrap-guile))) + (supported-systems '("i686-linux" "x86_64-linux")) + (build-system trivial-build-system) + (arguments + `(#:guile ,%bootstrap-guile + #:modules ((guix build utils)) + #:builder (begin + (use-modules (guix build utils)) + (let* ((mescc-tools-seed (assoc-ref %build-inputs "mescc-tools-seed")) + (mescc-tools-source (assoc-ref %build-inputs "mescc-tools-source")) + (mes-m2-source (assoc-ref %build-inputs "mes-m2-source")) + (source (assoc-ref %build-inputs "source")) + (dir (string-append "mescc-tools-seed-" ,seed-version)) + (coreutils (assoc-ref %build-inputs "coreutils")) + (guile (assoc-ref %build-inputs "guile")) + (out (assoc-ref %outputs "out")) + (bindir (string-append out "/bin"))) + (setenv "PATH" (string-append coreutils "/bin")) + (invoke "tar" "--strip-components=1" "-xvf" mescc-tools-seed) + (invoke "tar" "--strip-components=1" "-C" "mescc-tools" "-xvf" mescc-tools-source) + (invoke "tar" "--strip-components=1" "-C" "M2-Planet" "-xvf" source) + (invoke "tar" "--strip-components=1" "-C" "mes-m2" "-xvf" mes-m2-source) + (mkdir-p bindir) + (with-directory-excursion "x86" + (invoke "../kaem-optional-seed" "--verbose" "--strict")) + (with-directory-excursion "bin" + (copy-file "mes-m2" "mes") + (install-file "hex2" bindir) + (install-file "M1" bindir) + (install-file "blood-elf" bindir) + (install-file "kaem" bindir) + (install-file "get_machine" bindir) + (install-file "get_machine" bindir) + (install-file "M2-Planet" bindir) + (install-file "mes" bindir) + (install-file "mes-m2" bindir)) + #t))))))) + (define mes-boot (package (inherit mes) -- 2.23.0 From debbugs-submit-bounces@debbugs.gnu.org Wed Nov 13 17:22:10 2019 Received: (at 38063) by debbugs.gnu.org; 13 Nov 2019 22:22:10 +0000 Received: from localhost ([127.0.0.1]:60348 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iV11d-0002DT-U2 for submit@debbugs.gnu.org; Wed, 13 Nov 2019 17:22:10 -0500 Received: from eggs.gnu.org ([209.51.188.92]:59640) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iV11b-0002DF-Qk for 38063@debbugs.gnu.org; Wed, 13 Nov 2019 17:22:08 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]:37589) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1iV11W-0000eW-LW; Wed, 13 Nov 2019 17:22:02 -0500 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=40358 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1iV11W-0003sC-0T; Wed, 13 Nov 2019 17:22:02 -0500 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Jan Nieuwenhuizen Subject: Re: [bug#38063] [PATCH 1/2] gnu: Add m2-planet. References: <87ftj3b71x.fsf@gnu.org> <20191104224243.19953-1-janneke@gnu.org> Date: Wed, 13 Nov 2019 23:22:00 +0100 In-Reply-To: <20191104224243.19953-1-janneke@gnu.org> (Jan Nieuwenhuizen's message of "Mon, 4 Nov 2019 23:42:42 +0100") Message-ID: <87woc3l8mv.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 38063 Cc: 38063@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: -3.3 (---) Hello, Jan Nieuwenhuizen skribis: > * gnu/packages/mes.scm (m2-planet): New variable. [...] > + (synopsis "The PLAtform NEutral Transpiler") > + (description > + "M2-Planet, The PLAtform NEutral Transpiler, when combined with > +mescc-tools compiles a subset of the C language into working binaries > +with introspective steps inbetween.") It would be awesome if you could add one or two sentences here. Regardless it LGTM! Thanks, Ludo=E2=80=99. From debbugs-submit-bounces@debbugs.gnu.org Wed Nov 13 17:26:21 2019 Received: (at 38063) by debbugs.gnu.org; 13 Nov 2019 22:26:21 +0000 Received: from localhost ([127.0.0.1]:60374 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iV15h-0002LA-5K for submit@debbugs.gnu.org; Wed, 13 Nov 2019 17:26:21 -0500 Received: from eggs.gnu.org ([209.51.188.92]:34657) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iV15g-0002Ky-6B for 38063@debbugs.gnu.org; Wed, 13 Nov 2019 17:26:20 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]:37647) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1iV15b-0005dV-1D; Wed, 13 Nov 2019 17:26:15 -0500 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=40360 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1iV15a-0004Pp-FK; Wed, 13 Nov 2019 17:26:14 -0500 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Jan Nieuwenhuizen Subject: Re: [bug#38063] [PATCH 2/2] bootstrap: Add m2-planet-boot0. References: <20191104224243.19953-1-janneke@gnu.org> <20191104224243.19953-2-janneke@gnu.org> Date: Wed, 13 Nov 2019 23:26:12 +0100 In-Reply-To: <20191104224243.19953-2-janneke@gnu.org> (Jan Nieuwenhuizen's message of "Mon, 4 Nov 2019 23:42:43 +0100") Message-ID: <87muczl8fv.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 38063 Cc: 38063@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: -3.3 (---) Hi, Jan Nieuwenhuizen skribis: > * gnu/packages/commencement.scm (m2-planet-boot0): New variable. Since this is currently unused, should we postpone and review it as part of a bigger change that will actually use it? What do you prefer? > +(define-public m2-planet-boot0 > + ;; The soon-to-be initial bootstrap package: no binary inputs except f= or a > + ;; ~500 byte binary seed: `x86/hex0-seed'. > + (let* ((version "1.4.0") > + (revision "0") > + (commit "1fc2aeab483208bd2ba117b21df3894c182470ec") > + (seed-version "Release_1.1") > + (mescc-tools-version "Release_0.6.1") > + (mes-m2-commit "f025a24b19e8447fb96ba1746bdad494ae63a514") > + (mes-m2-version (string-append "0.19-" (string-take mes-m2-comm= it 7)))) This is a bit intimidating. ;-) It would be great if we could refer to releases only, and perhaps we don=E2=80=99t need to have all these in this =E2=80=98define=E2=80=99? > + (method url-fetch) > + (uri (string-append > + "https://github.com/oriansj/m2-planet" > + "/archive/" commit ".tar.gz")) Unless I=E2=80=99m mistaken, /archive tarballs are automatically generated = and should thus be avoided. However, using =E2=80=98git-fetch=E2=80=99 here is not quite feasible becau= se it could lead to bootstrapping problems (=E2=80=9Csoft=E2=80=9D bootstrapping proble= ms, because these are fixed-output derivations, but still.) Thanks! Ludo=E2=80=99. From debbugs-submit-bounces@debbugs.gnu.org Thu Nov 14 00:56:32 2019 Received: (at 38063) by debbugs.gnu.org; 14 Nov 2019 05:56:32 +0000 Received: from localhost ([127.0.0.1]:60691 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iV87L-0002Xr-6I for submit@debbugs.gnu.org; Thu, 14 Nov 2019 00:56:32 -0500 Received: from eggs.gnu.org ([209.51.188.92]:47968) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iV87H-0002Xb-Gd for 38063@debbugs.gnu.org; Thu, 14 Nov 2019 00:56:27 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]:43792) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1iV87A-00023h-Nn; Thu, 14 Nov 2019 00:56:20 -0500 Received: from [2001:980:1b4f:1:42d2:832d:bb59:862] (port=42764 helo=dundal.peder.onsbrabantnet.nl) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1iV87A-0000OB-8O; Thu, 14 Nov 2019 00:56:20 -0500 From: Jan Nieuwenhuizen To: Ludovic =?utf-8?Q?Court=C3=A8s?= Subject: Re: [bug#38063] [PATCH 2/2] bootstrap: Add m2-planet-boot0. Organization: AvatarAcademy.nl References: <20191104224243.19953-1-janneke@gnu.org> <20191104224243.19953-2-janneke@gnu.org> <87muczl8fv.fsf@gnu.org> X-Url: http://AvatarAcademy.nl Date: Thu, 14 Nov 2019 06:56:16 +0100 In-Reply-To: <87muczl8fv.fsf@gnu.org> ("Ludovic \=\?utf-8\?Q\?Court\=C3\=A8s\=22'\?\= \=\?utf-8\?Q\?s\?\= message of "Wed, 13 Nov 2019 23:26:12 +0100") Message-ID: <87o8xfdmrj.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 38063 Cc: 38063@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: -3.3 (---) Ludovic Court=C3=A8s writes: Hello Ludo', > Jan Nieuwenhuizen skribis: >> * gnu/packages/commencement.scm (m2-planet-boot0): New variable. > > Since this is currently unused, should we postpone and review it as part > of a bigger change that will actually use it? What do you prefer? Yes, I think that's wise. I was so excited that I wanted to share this recipe. The releases that we need for a proper packaging will take some serious time and effort. >> +(define-public m2-planet-boot0 >> + ;; The soon-to-be initial bootstrap package: no binary inputs except = for a >> + ;; ~500 byte binary seed: `x86/hex0-seed'. >> + (let* ((version "1.4.0") >> + (revision "0") >> + (commit "1fc2aeab483208bd2ba117b21df3894c182470ec") >> + (seed-version "Release_1.1") >> + (mescc-tools-version "Release_0.6.1") >> + (mes-m2-commit "f025a24b19e8447fb96ba1746bdad494ae63a514") >> + (mes-m2-version (string-append "0.19-" (string-take mes-m2-com= mit 7)))) > > This is a bit intimidating. ;-) It would be great if we could refer to > releases only, and perhaps we don=E2=80=99t need to have all these in this > =E2=80=98define=E2=80=99? Sure! I am hoping to drop mes-m2 here and use tarballs; even if we have to hand-craft them and host them ourselves. >> + (method url-fetch) >> + (uri (string-append >> + "https://github.com/oriansj/m2-planet" >> + "/archive/" commit ".tar.gz")) > > Unless I=E2=80=99m mistaken, /archive tarballs are automatically generate= d and > should thus be avoided. > > However, using =E2=80=98git-fetch=E2=80=99 here is not quite feasible bec= ause it could > lead to bootstrapping problems (=E2=80=9Csoft=E2=80=9D bootstrapping prob= lems, because > these are fixed-output derivations, but still.) Yes... I will close this issue after giving the plain m2-planet a proper description. Thanks for looking a it ;-) Greetings, janneke --=20 Jan Nieuwenhuizen | GNU LilyPond http://lilypond.org Freelance IT http://JoyofSource.com | Avatar=C2=AE http://AvatarAcademy.com From debbugs-submit-bounces@debbugs.gnu.org Thu Nov 14 10:48:50 2019 Received: (at 38063-done) by debbugs.gnu.org; 14 Nov 2019 15:48:50 +0000 Received: from localhost ([127.0.0.1]:34988 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iVHMX-0003Qb-Ti for submit@debbugs.gnu.org; Thu, 14 Nov 2019 10:48:50 -0500 Received: from eggs.gnu.org ([209.51.188.92]:56086) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iVHMW-0003QK-5Y for 38063-done@debbugs.gnu.org; Thu, 14 Nov 2019 10:48:48 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]:53721) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1iVHMQ-00044y-W1; Thu, 14 Nov 2019 10:48:43 -0500 Received: from [2001:980:1b4f:1:42d2:832d:bb59:862] (port=42928 helo=dundal.peder.onsbrabantnet.nl) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1iVHMQ-00059p-GK; Thu, 14 Nov 2019 10:48:42 -0500 From: Jan Nieuwenhuizen To: Ludovic =?utf-8?Q?Court=C3=A8s?= Subject: Re: [bug#38063] [PATCH 1/2] gnu: Add m2-planet. References: <87ftj3b71x.fsf@gnu.org> <20191104224243.19953-1-janneke@gnu.org> <87woc3l8mv.fsf@gnu.org> Date: Thu, 14 Nov 2019 16:48:38 +0100 In-Reply-To: <87woc3l8mv.fsf@gnu.org> ("Ludovic \=\?utf-8\?Q\?Court\=C3\=A8s\=22'\?\= \=\?utf-8\?Q\?s\?\= message of "Wed, 13 Nov 2019 23:22:00 +0100") Message-ID: <877e42e9wp.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 38063-done Cc: 38063-done@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: -3.3 (---) Ludovic Court=C3=A8s writes: >> + (description >> + "M2-Planet, The PLAtform NEutral Transpiler, when combined with >> +mescc-tools compiles a subset of the C language into working binaries >> +with introspective steps inbetween.") > > It would be awesome if you could add one or two sentences here. I added two sentences: (description "M2-Planet, the PLAtform NEutral Transpiler, when combined with mescc-tools, compiles a subset of the C language into working binaries with introspective steps inbetween. It is self-hosting and for bootstrapping it also has an implementation in the M1 macro assembly language. M2-Planet is built as Phase-5 of the full source bootstrapping process and is capable of building GNU Mes.") > Regardless it LGTM! Closed and pushed to master as 99b340f5eeb742d966dd16b1bfd7d2b308edc75f Thanks, janneke --=20 Jan Nieuwenhuizen | GNU LilyPond http://lilypond.org Freelance IT http://JoyofSource.com | Avatar=C2=AE http://AvatarAcademy.com From unknown Thu Sep 11 20:49:00 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Fri, 13 Dec 2019 12:24:05 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator