summaryrefslogtreecommitdiff
path: root/pcr/ocaml-extlib
diff options
context:
space:
mode:
Diffstat (limited to 'pcr/ocaml-extlib')
-rw-r--r--pcr/ocaml-extlib/PKGBUILD40
1 files changed, 17 insertions, 23 deletions
diff --git a/pcr/ocaml-extlib/PKGBUILD b/pcr/ocaml-extlib/PKGBUILD
index 9bb031921..76111009a 100644
--- a/pcr/ocaml-extlib/PKGBUILD
+++ b/pcr/ocaml-extlib/PKGBUILD
@@ -1,43 +1,37 @@
-# Contributor (Arch) : Patryk Kowalczyk < patryk at kowalczyk dot ws>
+# Maintainer (AUR): Yen Chi Hsuan < yan12125 at gmail dot com >
+# Contributor (AUR): lesebas < sebdeligny at gmail dot com>
# Maintainer (Parabola) : Aurélien DESBRIÈRES <aurelien@hackers.camp>
pkgname=ocaml-extlib
-pkgver=1.5.4
-pkgrel=3
+pkgver=1.7.5
+pkgrel=1
pkgdesc="Extends the OCaml standard library"
-arch=('i686' 'x86_64')
-url="http://code.google.com/p/ocaml-extlib/"
+arch=('i686' 'x86_64' 'armv7h')
+url="https://github.com/ygrek/ocaml-extlib"
license=('LGPL')
depends=('ocaml')
-makedepends=('ocaml-findlib')
-source=(http://ocaml-extlib.googlecode.com/files/extlib-${pkgver}.tar.gz)
-
+makedepends=('ocaml-findlib' 'cppo')
+source=("$pkgname-$pkgver.tar.gz"::"https://github.com/ygrek/ocaml-extlib/archive/${pkgver}.tar.gz")
+options=('staticlibs')
+sha256sums=('28e36367a65b1a5886d09f6d535e73b4aa88076778594c62df653a2b1536e62d')
build() {
- cd ${srcdir}/extlib-${pkgver}
-
- make all
- make opt
+ cd ocaml-extlib-${pkgver}
- sed -i 's/cp odoc_style.css/#cp odoc_style.css/g' Makefile
- sed -i 's/ocamldoc -sort -html/ocamldoc -sort -keep-code -html -colorize-code/g' Makefile
+ make build
make doc
-
- # Install additional files
- sed -i 's/ocamlfind install extlib META/ocamlfind install extlib META *.cmo *.cmx *.ml/g' Makefile
}
package () {
_DOCDIR="${pkgdir}/usr/share/doc/ocaml-extlib"
- cd ${srcdir}/extlib-${pkgver}
+ cd ocaml-extlib-${pkgver}
export OCAMLFIND_DESTDIR="${pkgdir}$(ocamlfind printconf destdir)"
- mkdir -p "${OCAMLFIND_DESTDIR}"
+ install -Ddm755 "${OCAMLFIND_DESTDIR}"
make install
-
+
# Install doc
- mkdir -p $_DOCDIR
- cp -r doc/* $_DOCDIR/
+ install -Ddm755 "$_DOCDIR"
+ cp -dr --no-preserve=ownership src/doc/* "$_DOCDIR/"
}
-md5sums=('329041625309b9e49051e5b097a9185d')