diff options
author | Mort Yao | 2019-10-19 15:17:56 +0200 |
---|---|---|
committer | Mort Yao | 2019-10-19 15:17:56 +0200 |
commit | 1722608da432498f3eb34986bf7478f7fffbea24 (patch) | |
tree | 00202d7fb5c2f14b3b02021400d8798fbaaba404 | |
parent | b7e6d9f5d67a0e5a0f73a09b8b445e65808f615d (diff) | |
download | aur-1722608da432498f3eb34986bf7478f7fffbea24.tar.gz |
ocaml-ppx_derivers-git 20190404-2
-rw-r--r-- | .SRCINFO | 5 | ||||
-rw-r--r-- | PKGBUILD | 19 |
2 files changed, 11 insertions, 13 deletions
@@ -1,14 +1,15 @@ # Generated by mksrcinfo v8 -# Sat Oct 19 11:40:11 UTC 2019 +# Sat Oct 19 13:09:04 UTC 2019 pkgbase = ocaml-ppx_derivers-git pkgdesc = deriving plugin registry pkgver = 20190404 - pkgrel = 1 + pkgrel = 2 url = https://github.com/ocaml-ppx/ppx_derivers arch = x86_64 license = BSD makedepends = ocamlbuild makedepends = ocaml-findlib + makedepends = dune provides = ocaml-ppx_derivers source = ocaml-ppx_derivers-git::git://github.com/ocaml-ppx/ppx_derivers.git md5sums = SKIP @@ -2,13 +2,14 @@ pkgname=ocaml-ppx_derivers-git pkgver=20190404 -pkgrel=1 +pkgrel=2 pkgdesc="deriving plugin registry" arch=('x86_64') url='https://github.com/ocaml-ppx/ppx_derivers' license=('BSD') provides=('ocaml-ppx_derivers') -makedepends=('ocamlbuild' 'ocaml-findlib') +conflicts=('ocaml-ppx_derivers') +makedepends=('ocamlbuild' 'ocaml-findlib' 'dune') source=("${pkgname}::git://github.com/ocaml-ppx/ppx_derivers.git") md5sums=('SKIP') @@ -20,18 +21,14 @@ pkgver() { build() { cd "$pkgname" - make + dune build } package() { - set -e - destdir="$pkgdir/$(ocamlfind printconf destdir)" - cd "$pkgname" - mkdir -p "$destdir/ppx_derivers" - export DESTDIR="$destdir/" - export OCAMLFIND_DESTDIR="$destdir/" - jbuilder build @install - jbuilder install -p ppx_derivers --prefix="${destdir}" + install -dm755 "${pkgdir}$(ocamlfind -printconf destdir)" "${pkgdir}/usr/share" + dune install --prefix "${pkgdir}/usr" --libdir "${pkgdir}$(ocamlfind -printconf destdir)" + mv "${pkgdir}/usr/doc" "${pkgdir}/usr/share/" + install -Dm644 "LICENSE.md" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE.md" } |