diff options
author | Daniel Peukert | 2022-06-14 20:36:44 +0200 |
---|---|---|
committer | Daniel Peukert | 2022-06-14 20:36:44 +0200 |
commit | bb046ea25accd93d63521ffa637469ddcdd24f70 (patch) | |
tree | 4776ddc794bf1a85b3b5c83f9ed903148b559ca2 /PKGBUILD | |
parent | 5b9dd3b296feb96fbcb868d0762ac725913340c0 (diff) | |
download | aur-bb046ea25accd93d63521ffa637469ddcdd24f70.tar.gz |
Fix dun calls, sha256 -> sha512
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 8 |
1 files changed, 2 insertions, 6 deletions
@@ -2,7 +2,7 @@ _projectname='ppx_cold' pkgname="ocaml-$_projectname" pkgver='0.15.0' -pkgrel='1' +pkgrel='2' pkgdesc='Expands [@Cold] into [@inline never][@specialise never][@Local never]' arch=('x86_64' 'i686' 'arm' 'armv6h' 'armv7h' 'aarch64') url="https://github.com/janestreet/$_projectname" @@ -22,11 +22,7 @@ build() { package() { cd "$srcdir/$_sourcedirectory/" - DESTDIR="$pkgdir" dune install --prefix '/usr' --libdir 'lib/ocaml' --release --verbose - - install -dm755 "$pkgdir/usr/share/doc/$pkgname" - mv "$pkgdir/usr/doc/$_projectname/"* "$pkgdir/usr/share/doc/$pkgname/" - rm -r "$pkgdir/usr/doc/" + DESTDIR="$pkgdir" dune install --prefix '/usr' --libdir '/usr/lib/ocaml' --docdir '/usr/share/doc' --mandir '/usr/share/man' --release --verbose install -dm755 "$pkgdir/usr/share/licenses/$pkgname" ln -sf "/usr/share/doc/$pkgname/LICENSE.md" "$pkgdir/usr/share/licenses/$pkgname/LICENSE.md" |