summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorDaniel Peukert2020-06-02 00:20:36 +0200
committerDaniel Peukert2020-06-02 00:20:36 +0200
commita7c8483a50c3907539a137dd7e7a9a3a46594eb5 (patch)
treebfc0c28f940b6cb08d054b15796d7db63c71b2ec /PKGBUILD
parentbb262d32632f19bf1111700df4e5edf41e386535 (diff)
downloadaur-a7c8483a50c3907539a137dd7e7a9a3a46594eb5.tar.gz
Updated janestreet packages
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD14
1 files changed, 7 insertions, 7 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 4c28a63edeaf..93e0306c145d 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,28 +2,28 @@
# Contributor: Jakob Gahde <j5lx@fmail.co.uk>
_projectname='splittable_random'
pkgname="ocaml-$_projectname"
-pkgver='0.13.0'
-pkgrel='2'
+pkgver='0.14.0'
+pkgrel='1'
pkgdesc='PRNG that can be split into independent streams'
arch=('x86_64' 'i686' 'arm' 'armv6h' 'armv7h' 'aarch64')
url="https://github.com/janestreet/$_projectname"
license=('MIT')
-depends=('ocaml>=4.04.2' 'ocaml-base>=0.13.0' 'ocaml-ppx_assert>=0.13.0' 'ocaml-ppx_bench>=0.13.0' 'ocaml-ppx_inline_test>=0.13.0' 'ocaml-ppx_sexp_message>=0.13.0')
-makedepends=('dune>=1.5.1')
+depends=('ocaml>=4.04.2' 'ocaml-base>=0.14.0' 'ocaml-ppx_assert>=0.14.0' 'ocaml-ppx_bench>=0.14.0' 'ocaml-ppx_inline_test>=0.14.0' 'ocaml-ppx_sexp_message>=0.14.0')
+makedepends=('dune>=2.0.0')
options=('!strip')
source=("$pkgname-$pkgver-$pkgrel.tar.gz::$url/archive/v$pkgver.tar.gz")
-sha256sums=('bb828eebf250abc158f7cf4d3c4c1e43a4f46a8b2b67f88c694d5947958e1dd8')
+sha256sums=('02bf2f0f0482442cd573c0fbcf55ea89644466fe1f5e48c8c18018f58878f93a')
_sourcedirectory="$_projectname-$pkgver"
build() {
cd "$srcdir/$_sourcedirectory/"
- dune build -p "$_projectname" --verbose
+ dune build --release --verbose
}
package() {
cd "$srcdir/$_sourcedirectory/"
- DESTDIR="$pkgdir" dune install --prefix '/usr' --libdir 'lib/ocaml'
+ 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/"