blob: 850c7574506a3fb7137d958f1f595a46e39ac8b8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
# Contributor: Ivan Kuraj
_name=quickchick
pkgname=coq-${_name}-git
pkgver=r1085.02c3b09
pkgrel=1
pkgdesc="Property-based testing plugin for Coq"
arch=(i686 x86_64)
url="https://github.com/QuickChick/QuickChick"
license=('MIT')
depends=('coq' 'ssreflect')
makedepends=('ocaml')
source=(
'repo::git+https://github.com/QuickChick/QuickChick.git'
path.patch
)
pkgver() {
cd "$srcdir/repo/"
printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
}
build() {
cd "$srcdir/repo"
patch < ../path.patch
make -j
}
package() {
cd "$srcdir/repo"
make COQLIB="$pkgdir/`coqtop -where`/" install
}
md5sums=('SKIP'
'93d5139b6f1f058bedb54113bd5bf5db')
|