# Compiling Time: 0.06 SBU
# Maintainer: DeX77 <dex77@frugalware.org>

pkgname=dscheck
pkgver=0.5.0
pkgrel=1
pkgdesc='Experimental model checker for testing concurrent algorithms'
archs=('x86_64')
groups=('devel-extra')
depends=('ocaml-containers' 'oseq')
makedepends=('dune' 'ocaml-compiler-libs' 'ocaml-static')
_F_github_author="ocaml-multicore"
_F_github_tag=yes
Finclude github
sha1sums=('ff8719bddd7cd6b7a28631ff0eca95a84976da3f')

build() {
	Fcd
	Fpatchall

	Fexec dune build --release --verbose || Fdie
	DESTDIR="$Fdestdir" dune install --prefix '/usr' --libdir '/usr/lib/ocaml'
}

# optimization OK