diff options
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..c153358b9d75 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,33 @@ +# Maintainer: Daniel Peukert <dan.peukert@gmail.com> +_projectname='ppx_fixed_literal' +pkgname="ocaml-$_projectname" +pkgver='0.14.0' +pkgrel='1' +pkgdesc='Simpler notation for fixed point literals' +arch=('x86_64' 'i686' 'arm' 'armv6h' 'armv7h' 'aarch64') +url="https://github.com/janestreet/$_projectname" +license=('MIT') +depends=('ocaml>=4.04.2' 'ocaml-base>=0.14.0' 'ocaml-ppxlib>=0.11.0') +makedepends=('dune>=2.0.0') +options=('!strip') +source=("$pkgname-$pkgver-$pkgrel.tar.gz::$url/archive/v$pkgver.tar.gz") +sha256sums=('1336d33092895fb9c5bf01588402db7131e4bb71b64ce96384bb2044f518d99a') + +_sourcedirectory="$_projectname-$pkgver" + +build() { + cd "$srcdir/$_sourcedirectory/" + dune build --release --verbose +} + +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/" + + install -dm755 "$pkgdir/usr/share/licenses/$pkgname" + ln -sf "/usr/share/doc/$pkgname/LICENSE.md" "$pkgdir/usr/share/licenses/$pkgname/LICENSE.md" +} |