diff options
| author | Eric Schulte | 2019-07-25 12:41:55 -0400 |
|---|---|---|
| committer | Eric Schulte | 2019-07-25 12:41:55 -0400 |
| commit | 243cbb9fc5e2b3cf5ee31576e9b4ef57e65b1c1b (patch) | |
| tree | 5bd5eb3835cc6a7251037e88770a36fbe8538ed5 | |
| download | aur-243cbb9fc5e2b3cf5ee31576e9b4ef57e65b1c1b.tar.gz | |
Initial commit
| -rw-r--r-- | .SRCINFO | 29 | ||||
| -rw-r--r-- | .gitignore | 4 | ||||
| -rw-r--r-- | PKGBUILD | 36 |
3 files changed, 69 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..9816b16cf728 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,29 @@ +pkgbase = souffle + pkgdesc = Soufflé is a translator of declarative Datalog programs into the C++ language + pkgver = 1.5.1 + pkgrel = 1 + url = https://github.com/grammatech/ddisasm + arch = any + license = UPL + makedepends = autoconf + makedepends = automake + makedepends = bison + makedepends = doxygen + makedepends = flex + makedepends = sqlite + makedepends = libtool + makedepends = jdk8-openjdk + makedepends = pkg-config + makedepends = python + makedepends = zlib + makedepends = mcpp + depends = sqlite + depends = python + depends = zlib + provides = souffle + conflicts = souffle-git + source = https://github.com/souffle-lang/souffle/archive/1.5.1.zip + md5sums = e8d9f1f1d0d69703940e9203d834108a + +pkgname = souffle + diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000000..7f7fafbe4a77 --- /dev/null +++ b/.gitignore @@ -0,0 +1,4 @@ +pkg/ +src/ +*.zip +souffle-*.pkg.tar.xz diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..cf228f2c565e --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,36 @@ +# Maintainer: Eric Schulte <eschulte@grammatech.com> +# +# Based off of the souffle-git pkgfile by +# Sam Linnfer <littlelightlittlefire@gmail.com> +pkgname=souffle +pkgver=1.5.1 +pkgrel=1 +pkgdesc="Soufflé is a translator of declarative Datalog programs into the C++ language" +arch=('any') +url="https://github.com/grammatech/ddisasm" +license=('UPL') +groups=() +depends=('sqlite' 'python' 'zlib') +makedepends=('autoconf' 'automake' 'bison' 'doxygen' 'flex' 'sqlite' 'libtool' 'jdk8-openjdk' 'pkg-config' 'python' 'zlib' 'mcpp') +provides=('souffle') +conflicts=('souffle-git') +backup=() +options=() +install= +noextract=() +source=('https://github.com/souffle-lang/souffle/archive/1.5.1.zip') +md5sums=('e8d9f1f1d0d69703940e9203d834108a') + +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 +} |