emacs-bug-tracker
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#65898: closed ([core-updates] gnu: ocaml: Allow not to build the nat


From: GNU bug Tracking System
Subject: bug#65898: closed ([core-updates] gnu: ocaml: Allow not to build the native compiler.)
Date: Sat, 16 Sep 2023 07:49:02 +0000

Your message dated Sat, 16 Sep 2023 09:48:12 +0200
with message-id <ZQVdvBMn10zpQvCA@jurong>
and subject line Closing
has caused the debbugs.gnu.org bug report #65898,
regarding [core-updates] gnu: ocaml: Allow not to build the native compiler.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
65898: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=65898
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
--- Begin Message --- Subject: [core-updates] gnu: ocaml: Allow not to build the native compiler. Date: Tue, 12 Sep 2023 22:31:37 +0200 User-agent: Evolution 3.46.4
* 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



--- End Message ---
--- Begin Message --- 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



--- End Message ---

reply via email to

[Prev in Thread] Current Thread [Next in Thread]