From 60f5e767f9ecfe7c3015d899172530e171359f99 Mon Sep 17 00:00:00 2001 From: Andreas Grapentin Date: Tue, 12 Feb 2019 08:49:54 +0100 Subject: pcr/ocaml-extlib: updated to 1.7.5 --- pcr/ocaml-extlib/PKGBUILD | 40 +++++++++++++++++----------------------- 1 file 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 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') -- cgit v1.2.2