diff options
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" |