From unknown Sat Aug 16 18:39:02 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#65898] [core-updates] gnu: ocaml: Allow not to build the native compiler. Resent-From: Vivien Kraus Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Tue, 12 Sep 2023 20:48:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 65898 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 65898@debbugs.gnu.org Cc: julien@lepiller.eu, pukkamustard@posteo.net X-Debbugs-Original-To: guix-patches@gnu.org X-Debbugs-Original-Xcc: julien@lepiller.eu, pukkamustard@posteo.net Received: via spool by submit@debbugs.gnu.org id=B.169455163710574 (code B ref -1); Tue, 12 Sep 2023 20:48:02 +0000 Received: (at submit) by debbugs.gnu.org; 12 Sep 2023 20:47:17 +0000 Received: from localhost ([127.0.0.1]:60153 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qgAI0-0002kU-Qv for submit@debbugs.gnu.org; Tue, 12 Sep 2023 16:47:17 -0400 Received: from lists.gnu.org ([2001:470:142::17]:37188) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qgAHx-0002kD-47 for submit@debbugs.gnu.org; Tue, 12 Sep 2023 16:47:14 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qgAHi-0004p9-Hb for guix-patches@gnu.org; Tue, 12 Sep 2023 16:46:58 -0400 Received: from planete-kraus.eu ([89.234.140.182]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_CHACHA20_POLY1305:256) (Exim 4.90_1) (envelope-from ) id 1qgAHf-0007TK-El for guix-patches@gnu.org; Tue, 12 Sep 2023 16:46:57 -0400 Received: from planete-kraus.eu (localhost.lan [127.0.0.1]) by planete-kraus.eu (OpenSMTPD) with ESMTP id ebd378f2 for ; Tue, 12 Sep 2023 20:46:51 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=planete-kraus.eu; h= message-id:from:date:subject:to:mime-version; s=albinoniA; bh=K9 FYFsCMB77+tyKPMCoKEy5ojOw=; b=T+jdGiwt8HjoW6751ZNPRckdvI8hUYSicV Vj+LXDx1eUTIl2SHB6Q+pncQwbcqYOuxzM2QAlpHQ2uHxlTD/mV/I/hu6Q0yXydO 8MZP7HmEUs7Meg6O5aZOAMQbQRTE0FUai9ETYteJQetGF01j+I7NHpZLDD8avDFE 2/Nf7tBpfiDr5NUCuy2LH/YksAlHXM2M0nBQ5uSUNQb2w57jBCzHFrzEVcffpem0 n+mXCC6oOj7dt+iRlTZEAylrvfR0vd6Zf5JIG8i+WrGtXPUQuluL1GUEKG5VpLix TpeZdzNIh//FVNAA/Axb+ei9flSJx1+uqcROrRcBLpryHUy/9yuQ== Received: by planete-kraus.eu (OpenSMTPD) with ESMTPSA id 5f0f1e9d (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO) for ; Tue, 12 Sep 2023 20:46:51 +0000 (UTC) Message-ID: From: Vivien Kraus Date: Tue, 12 Sep 2023 22:31:37 +0200 MIME-Version: 1.0 User-Agent: Evolution 3.46.4 Received-SPF: pass client-ip=89.234.140.182; envelope-from=vivien@planete-kraus.eu; helo=planete-kraus.eu X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 0.9 (/) 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: -0.1 (/) * gnu/packages/ocaml.scm (ocaml-5.0) [entry point]: Build "defaultentry", not "world.opt", so that the build system decides whether to build the native compiler or just the bytecode compiler. The native compiler is not available for 32-bit architectures. --- gnu/packages/ocaml.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 8ff755aea9..ea9d3e3594 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -219,7 +219,7 @@ (define-public ocaml-5.0 (arguments `(#:configure-flags '("--enable-ocamltest") #:test-target "tests" - #:make-flags '("world.opt") + #:make-flags '("defaultentry") #:phases (modify-phases %standard-phases (add-after 'unpack 'patch-/bin/sh-references base-commit: e79afd5d2574eb35f54c070a3f6048806721ef04 -- 2.41.0 From unknown Sat Aug 16 18:39:02 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#65898] Ocaml optional native compiler: it still fails for i686-linux References: In-Reply-To: Resent-From: Vivien Kraus Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 12 Sep 2023 21:33:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 65898 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 65898@debbugs.gnu.org Received: via spool by 65898-submit@debbugs.gnu.org id=B65898.169455433525236 (code B ref 65898); Tue, 12 Sep 2023 21:33:02 +0000 Received: (at 65898) by debbugs.gnu.org; 12 Sep 2023 21:32:15 +0000 Received: from localhost ([127.0.0.1]:60191 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qgAzX-0006Yx-60 for submit@debbugs.gnu.org; Tue, 12 Sep 2023 17:32:15 -0400 Received: from planete-kraus.eu ([89.234.140.182]:34584) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qgAzT-0006Ym-Q1 for 65898@debbugs.gnu.org; Tue, 12 Sep 2023 17:32:14 -0400 Received: from planete-kraus.eu (localhost.lan [127.0.0.1]) by planete-kraus.eu (OpenSMTPD) with ESMTP id 647e381e for <65898@debbugs.gnu.org>; Tue, 12 Sep 2023 21:32:04 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=planete-kraus.eu; h= message-id:subject:from:to:date:content-type :content-transfer-encoding:mime-version; s=albinoniA; bh=xAuEO6U 02lxW9rvFSYd34F5MbX8=; b=G0f0wCLhs7lZoOnJBI5M0y874T/ZIve6zysYSPA QgIJcKkKKtq+yK12vpjnoj5IW7ohxrs963L83qIB7FBmqDH8RwaQ9MOFWY+N+tCB 343+Irm93NP+3qbnjV3fHI77n5wl/qUTDrrHRJpZgh+SzRpEVY2tIfoblPTmNkFT EXMIhkTlJX+zlEAacv7fUaKlHmJPYHYldxgQ2W3oKtcnGb2OBQJAESieycfYYz+3 vpGVq1Ai9uPbGLgw7AL/ExZQzygGFPpnPzqX38uQ0dqz33nZ9pvZNmU31elNxAn0 8ajCJvsNsnS7hbOCG8gD8uk2rWOHixdCVr4uxGhgLaYNzog== Received: by planete-kraus.eu (OpenSMTPD) with ESMTPSA id bca98dd9 (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO) for <65898@debbugs.gnu.org>; Tue, 12 Sep 2023 21:32:04 +0000 (UTC) Message-ID: From: Vivien Kraus Date: Tue, 12 Sep 2023 23:32:02 +0200 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable User-Agent: Evolution 3.46.4 MIME-Version: 1.0 X-Spam-Score: -0.0 (/) 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, The native compiler for ocaml is not always available, especially for i686-linux. The first step is to get the "best" possible compiler instead of requiring the native compiler. However, building for i686- linux still fails. The test suite reports no failure nor error, but it still fails. What does that mean? ``` Summary: 2285 tests passed 592 tests skipped 0 tests failed 569 tests not started (parent test skipped or failed) 0 unexpected errors 3446 tests considered make[1]: Leaving directory '/tmp/guix-build-ocaml-5.0.0.drv- 0/source/testsuite' Test suite failed, dumping logs. ``` Vivien From unknown Sat Aug 16 18:39:02 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Vivien Kraus Subject: bug#65898: closed (Closing) Message-ID: References: X-Gnu-PR-Message: they-closed 65898 X-Gnu-PR-Package: guix-patches Reply-To: 65898@debbugs.gnu.org Date: Sat, 16 Sep 2023 07:49:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1694850542-20863-1" This is a multi-part message in MIME format... ------------=_1694850542-20863-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #65898: [core-updates] gnu: ocaml: Allow not to build the native compiler. which was filed against the guix-patches package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 65898@debbugs.gnu.org. --=20 65898: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D65898 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1694850542-20863-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 65898-done) by debbugs.gnu.org; 16 Sep 2023 07:48:31 +0000 Received: from localhost ([127.0.0.1]:45289 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qhQ2Y-0005Ol-Lj for submit@debbugs.gnu.org; Sat, 16 Sep 2023 03:48:30 -0400 Received: from hera.aquilenet.fr ([185.233.100.1]:47388) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qhQ2V-0005Nk-BA for 65898-done@debbugs.gnu.org; Sat, 16 Sep 2023 03:48:29 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id CEC6082C; Sat, 16 Sep 2023 09:48:13 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id TT-eXg6hva6E; Sat, 16 Sep 2023 09:48:13 +0200 (CEST) Received: from jurong (unknown [IPv6:2001:861:c4:f2f0::c64]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 6809537C; Sat, 16 Sep 2023 09:48:13 +0200 (CEST) Date: Sat, 16 Sep 2023 09:48:12 +0200 From: Andreas Enge To: 65898-done@debbugs.gnu.org Subject: Closing Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 65898-done 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 (-) Hello Vivien, it has been built by QA, so I have pushed the patch and close this issue. Thanks! Andreas ------------=_1694850542-20863-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 12 Sep 2023 20:47:17 +0000 Received: from localhost ([127.0.0.1]:60153 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qgAI0-0002kU-Qv for submit@debbugs.gnu.org; Tue, 12 Sep 2023 16:47:17 -0400 Received: from lists.gnu.org ([2001:470:142::17]:37188) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qgAHx-0002kD-47 for submit@debbugs.gnu.org; Tue, 12 Sep 2023 16:47:14 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qgAHi-0004p9-Hb for guix-patches@gnu.org; Tue, 12 Sep 2023 16:46:58 -0400 Received: from planete-kraus.eu ([89.234.140.182]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_CHACHA20_POLY1305:256) (Exim 4.90_1) (envelope-from ) id 1qgAHf-0007TK-El for guix-patches@gnu.org; Tue, 12 Sep 2023 16:46:57 -0400 Received: from planete-kraus.eu (localhost.lan [127.0.0.1]) by planete-kraus.eu (OpenSMTPD) with ESMTP id ebd378f2 for ; Tue, 12 Sep 2023 20:46:51 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=planete-kraus.eu; h= message-id:from:date:subject:to:mime-version; s=albinoniA; bh=K9 FYFsCMB77+tyKPMCoKEy5ojOw=; b=T+jdGiwt8HjoW6751ZNPRckdvI8hUYSicV Vj+LXDx1eUTIl2SHB6Q+pncQwbcqYOuxzM2QAlpHQ2uHxlTD/mV/I/hu6Q0yXydO 8MZP7HmEUs7Meg6O5aZOAMQbQRTE0FUai9ETYteJQetGF01j+I7NHpZLDD8avDFE 2/Nf7tBpfiDr5NUCuy2LH/YksAlHXM2M0nBQ5uSUNQb2w57jBCzHFrzEVcffpem0 n+mXCC6oOj7dt+iRlTZEAylrvfR0vd6Zf5JIG8i+WrGtXPUQuluL1GUEKG5VpLix TpeZdzNIh//FVNAA/Axb+ei9flSJx1+uqcROrRcBLpryHUy/9yuQ== Received: by planete-kraus.eu (OpenSMTPD) with ESMTPSA id 5f0f1e9d (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO) for ; Tue, 12 Sep 2023 20:46:51 +0000 (UTC) Message-ID: From: Vivien Kraus Date: Tue, 12 Sep 2023 22:31:37 +0200 Subject: [core-updates] gnu: ocaml: Allow not to build the native compiler. To: guix-patches@gnu.org X-Debbugs-Cc: julien@lepiller.eu, pukkamustard@posteo.net MIME-Version: 1.0 User-Agent: Evolution 3.46.4 Received-SPF: pass client-ip=89.234.140.182; envelope-from=vivien@planete-kraus.eu; helo=planete-kraus.eu X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 0.9 (/) X-Debbugs-Envelope-To: submit 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: -0.1 (/) * gnu/packages/ocaml.scm (ocaml-5.0) [entry point]: Build "defaultentry", not "world.opt", so that the build system decides whether to build the native compiler or just the bytecode compiler. The native compiler is not available for 32-bit architectures. --- gnu/packages/ocaml.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 8ff755aea9..ea9d3e3594 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -219,7 +219,7 @@ (define-public ocaml-5.0 (arguments `(#:configure-flags '("--enable-ocamltest") #:test-target "tests" - #:make-flags '("world.opt") + #:make-flags '("defaultentry") #:phases (modify-phases %standard-phases (add-after 'unpack 'patch-/bin/sh-references base-commit: e79afd5d2574eb35f54c070a3f6048806721ef04 -- 2.41.0 ------------=_1694850542-20863-1--