summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/ocaml.scm14
1 files changed, 12 insertions, 2 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index c25f7c0858f..11389440dcb 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -249,6 +249,17 @@ functional, imperative and object-oriented styles of programming.")
249 (lambda _ 249 (lambda _
250 ;; Specifying '-j' at all causes the build to fail. 250 ;; Specifying '-j' at all causes the build to fail.
251 (zero? (system* "make" "world.opt")))) 251 (zero? (system* "make" "world.opt"))))
252 ,@(if (string=? "aarch64-linux" (%current-system))
253 ;; Custom configure script doesn't recongnize aarch64.
254 '((replace 'configure
255 (lambda* (#:key outputs #:allow-other-keys)
256 (let* ((out (assoc-ref outputs "out"))
257 (mandir (string-append out "/share/man")))
258 (invoke "./configure"
259 "--prefix" out
260 "--mandir" mandir
261 "-host" "armv8l-unknown-linux-gnu")))))
262 '())
252 (replace 'check 263 (replace 'check
253 (lambda _ 264 (lambda _
254 (with-directory-excursion "testsuite" 265 (with-directory-excursion "testsuite"
@@ -256,8 +267,7 @@ functional, imperative and object-oriented styles of programming.")
256 "make" 267 "make"
257 "all" 268 "all"
258 (string-append 269 (string-append
259 "TOPDIR=" (getcwd) "/..")))))))))) 270 "TOPDIR=" (getcwd) "/.."))))))))))))
260 (supported-systems (delete "aarch64-linux" %supported-systems))))
261 271
262(define-public ocaml-4.07 272(define-public ocaml-4.07
263 (package 273 (package