summarylogtreecommitdiffstats
path: root/PKGBUILD
blob: f9b56b7ff5de6d03348a8f125e606c3fde5b6467 (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
43
44
45
46
47
48
49
50
51
# Maintainer: Harenome Ranaivoarivony-Razanajato
#             <ranaivoarivony-razanajato@hareno.me>

pkgname=candl-git
pkgver=0.6.3.r0.08b7186
pkgrel=2
pkgdesc="Data Dependence Analysis Tool in the Polyhedral Model"
arch=(x86_64)
url="http://icps.u-strasbg.fr/people/bastoul/public_html/development/candl/"
license=('LGPL3')
depends=("gmp" "osl" "piplib-git")
provides=("candl")
source=(
  ${pkgname}::git+https://github.com/periscop/candl.git
)
md5sums=(
  'SKIP'
)

pkgver() {
  # `git describe` can not be used because there are no tags in the GitHub
  # repository. Commit 5db92063d176980bbb1c51b6974440069d440409 was tagged
  # '0.6.2' in the old git repository (http://repo.or.cz/candl.git/).
  cd "${srcdir}/${pkgname}"
  printf "0.6.3.r%s.%s" \
      "$(git rev-list --count 08b718604559c2d0f7f1ac4f95e393abadc6655f..HEAD)" \
      "$(git rev-parse --short HEAD)"
}

build() {
  cd "${srcdir}/${pkgname}"
  autoreconf -i
  ./configure \
      --prefix=/usr \
      --with-gmp=system \
      --with-osl=system \
      --with-piplib=system \
      --enable-mp-version
  make
}

# check() {
#   cd "${srcdir}/${pkgname}"
#   # Run sequentially the tests because there is a race condition on the tests.
#   make -j 1 check
# }

package() {
  cd "${srcdir}/${pkgname}"
  make DESTDIR="${pkgdir}/" install
}