summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorDaniel Peukert2022-06-14 20:36:44 +0200
committerDaniel Peukert2022-06-14 20:36:44 +0200
commitbb046ea25accd93d63521ffa637469ddcdd24f70 (patch)
tree4776ddc794bf1a85b3b5c83f9ed903148b559ca2 /PKGBUILD
parent5b9dd3b296feb96fbcb868d0762ac725913340c0 (diff)
downloadaur-bb046ea25accd93d63521ffa637469ddcdd24f70.tar.gz
Fix dun calls, sha256 -> sha512
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD8
1 files changed, 2 insertions, 6 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 08bc1dca6dbd..624fc1ec7737 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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"