diff options
Diffstat (limited to 'community/ocaml-findlib/PKGBUILD')
| -rw-r--r-- | community/ocaml-findlib/PKGBUILD | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/community/ocaml-findlib/PKGBUILD b/community/ocaml-findlib/PKGBUILD index 77528d596..83a8cf36a 100644 --- a/community/ocaml-findlib/PKGBUILD +++ b/community/ocaml-findlib/PKGBUILD @@ -20,7 +20,11 @@ build() { cd "$srcdir/findlib-$pkgver" ./configure -config /etc/findlib.conf -sitelib /usr/lib/ocaml -mandir /usr/share/man - make all opt + if [ "${CARCH}" = "mips64el" ]; then + make all + else + make all opt + fi } package () { @@ -32,6 +36,6 @@ package () { sed -i 's/path=\"\/usr\/lib\/ocaml\"/path="\/usr\/lib\/ocaml:\/usr\/lib\/ocaml\/site-lib"/' \ "${pkgdir}/etc/findlib.conf" - install -m755 src/findlib/ocamlfind_opt "$pkgdir/usr/bin/" + [ $CARCH != 'mips64el' ] && (install -m755 src/findlib/ocamlfind_opt "$pkgdir/usr/bin/") install -Dm644 LICENSE "$pkgdir/usr/share/licenses/$pkgname/LICENSE" } |