diff options
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/ocaml.scm | 14 |
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 |
