summarylogtreecommitdiffstats
path: root/PKGBUILD
blob: f38e02cdcb482849f79aabd676a43b3604e924b2 (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
36
37
38
39
40
41
42
# Maintainer: Andreas Grigorjew <aur at andreasgrigorjew dot de>

pkgname=checktestdata-git
pkgrel=1
pkgver=r293.g5f981cd
pkgdesc="DOMJudge checktestdata tool"
arch=('x86_64')
url="https://github.com/DOMjudge/checktestdata"
license=('BSD-2-Clause')
depends=('boost' 'gmp')
makedepends=('git' 'gcc' 'flexc++' 'bisonc++' 'automake')

source=("${pkgname}::git+${url}.git")
md5sums=('SKIP')

pkgver() {
    cd "$pkgname"
    printf "r%s.g%s" \
    "$(git rev-list --count HEAD)" \
    "$(git rev-parse --short HEAD)"
}

build() {
    cd "$pkgname"
    ./bootstrap
    make dist
    make
}

check() {
    cd "$pkgname"
    make check
}

package() {
    cd "$pkgname"
    install -Dm755 checktestdata \
    "$pkgdir/usr/bin/checktestdata"

    install -Dm644 COPYING \
        "$pkgdir/usr/share/licenses/$pkgname/COPYING"
}