diff options
Diffstat (limited to 'extra')
-rw-r--r-- | extra/ocaml/PKGBUILD | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/extra/ocaml/PKGBUILD b/extra/ocaml/PKGBUILD index 3606d7ba9..b431666a5 100644 --- a/extra/ocaml/PKGBUILD +++ b/extra/ocaml/PKGBUILD @@ -2,7 +2,9 @@ # Maintainer: Tobias Powalowski <tpowa@archlinux.org> pkgbase='ocaml' -pkgname=('ocaml' 'ocaml-compiler-libs') +pkgname=('ocaml') +# Needs optimized build. +[ "$CARCH" = "mips64el" ] || pkgname+=('ocaml-compiler-libs') pkgver=3.12.1 pkgrel=3 pkgdesc="A functional language with OO extensions" |