summarylogtreecommitdiffstats
path: root/PKGBUILD
blob: 3be7c240427482e06b0331a9f454fc59ddb9fa31 (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
# Maintainer: Eric Schulte <eschulte@grammatech.com>
#
# Based off of the souffle-git pkgfile by
# Sam Linnfer <littlelightlittlefire@gmail.com>
pkgname=souffle
pkgver=1.6.1
pkgrel=1
pkgdesc="Soufflé is a translator of declarative Datalog programs into the C++ language"
arch=('any')
url="https://github.com/souffle-lang/souffle"
license=('UPL')
groups=()
depends=('sqlite' 'python' 'zlib' 'mcpp')
makedepends=('autoconf' 'automake' 'bison' 'doxygen' 'flex' 'sqlite' 'libtool' 'jdk8-openjdk' 'pkg-config' 'python' 'zlib')
provides=('souffle')
conflicts=('souffle-git')
backup=()
options=()
install=
noextract=()
source=("https://github.com/souffle-lang/souffle/archive/${pkgver}.zip")
md5sums=('3135f0bfd20d45e8352132e27a8e00e4')

build() {
    cd "$srcdir/${pkgname}-${pkgver}"
    sed -i "s/git describe --tags --always/echo ${pkgver}/" configure.ac
    sh ./bootstrap
    ./configure --prefix=/usr
    # When necessary, fixup deprecated form in src/parser.yy and rebuild.
    make -j || (bison --update src/parser.yy && make)
}

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