GNU bug report logs - #65898
[core-updates] gnu: ocaml: Allow not to build the native compiler.

Previous Next

Package: guix-patches;

Reported by: Vivien Kraus <vivien <at> planete-kraus.eu>

Date: Tue, 12 Sep 2023 20:48:02 UTC

Severity: normal

Done: Andreas Enge <andreas <at> enge.fr>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 65898 in the body.
You can then email your comments to 65898 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox


Report forwarded to julien <at> lepiller.eu, pukkamustard <at> posteo.net, guix-patches <at> gnu.org:
bug#65898; Package guix-patches. (Tue, 12 Sep 2023 20:48:02 GMT) Full text and rfc822 format available.

Acknowledgement sent to Vivien Kraus <vivien <at> planete-kraus.eu>:
New bug report received and forwarded. Copy sent to julien <at> lepiller.eu, pukkamustard <at> posteo.net, guix-patches <at> gnu.org. (Tue, 12 Sep 2023 20:48:02 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Vivien Kraus <vivien <at> planete-kraus.eu>
To: guix-patches <at> gnu.org
Subject: [core-updates] gnu: ocaml: Allow not to build the native compiler.
Date: Tue, 12 Sep 2023 22:31:37 +0200
* 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




Information forwarded to guix-patches <at> gnu.org:
bug#65898; Package guix-patches. (Tue, 12 Sep 2023 21:33:02 GMT) Full text and rfc822 format available.

Message #8 received at 65898 <at> debbugs.gnu.org (full text, mbox):

From: Vivien Kraus <vivien <at> planete-kraus.eu>
To: 65898 <at> debbugs.gnu.org
Subject: Ocaml optional native compiler: it still fails for i686-linux
Date: Tue, 12 Sep 2023 23:32:02 +0200
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




Reply sent to Andreas Enge <andreas <at> enge.fr>:
You have taken responsibility. (Sat, 16 Sep 2023 07:49:02 GMT) Full text and rfc822 format available.

Notification sent to Vivien Kraus <vivien <at> planete-kraus.eu>:
bug acknowledged by developer. (Sat, 16 Sep 2023 07:49:02 GMT) Full text and rfc822 format available.

Message #13 received at 65898-done <at> debbugs.gnu.org (full text, mbox):

From: Andreas Enge <andreas <at> enge.fr>
To: 65898-done <at> debbugs.gnu.org
Subject: Closing
Date: Sat, 16 Sep 2023 09:48:12 +0200
Hello Vivien,

it has been built by QA, so I have pushed the patch and close this issue.
Thanks!

Andreas





bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Sat, 14 Oct 2023 11:24:14 GMT) Full text and rfc822 format available.

This bug report was last modified 1 year and 209 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.