guix-commits
[Top][All Lists]
Advanced

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

01/01: gnu: address@hidden: Enable building on aarch64-linux.


From: guix-commits
Subject: 01/01: gnu: address@hidden: Enable building on aarch64-linux.
Date: Sun, 2 Dec 2018 06:06:00 -0500 (EST)

efraim pushed a commit to branch master
in repository guix.

commit c661f25a944133dbdadcd185fd7cd4762419d254
Author: Efraim Flashner <address@hidden>
Date:   Sun Dec 2 13:04:37 2018 +0200

    gnu: address@hidden: Enable building on aarch64-linux.
    
    This reverts 454e7132d6fffb5c9a5ce086ffd1b687416feb83.
    
    * gnu/packages/ocaml.scm (address@hidden)[supported-systems]: Remove field.
    [arguments]: When building on aarch64-linux, replace the custom
    'configure script.
---
 gnu/packages/ocaml.scm | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index c25f7c0..1138944 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -249,6 +249,17 @@ functional, imperative and object-oriented styles of 
programming.")
              (lambda _
                ;; Specifying '-j' at all causes the build to fail.
                (zero? (system* "make" "world.opt"))))
+           ,@(if (string=? "aarch64-linux" (%current-system))
+               ;; Custom configure script doesn't recongnize aarch64.
+               '((replace 'configure
+                  (lambda* (#:key outputs #:allow-other-keys)
+                    (let* ((out (assoc-ref outputs "out"))
+                           (mandir (string-append out "/share/man")))
+                      (invoke "./configure"
+                              "--prefix" out
+                              "--mandir" mandir
+                              "-host" "armv8l-unknown-linux-gnu")))))
+               '())
            (replace 'check
              (lambda _
                (with-directory-excursion "testsuite"
@@ -256,8 +267,7 @@ functional, imperative and object-oriented styles of 
programming.")
                          "make"
                          "all"
                          (string-append
-                          "TOPDIR=" (getcwd) "/.."))))))))))
-    (supported-systems (delete "aarch64-linux" %supported-systems))))
+                          "TOPDIR=" (getcwd) "/.."))))))))))))
 
 (define-public ocaml-4.07
   (package



reply via email to

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