diff options
| author | Xiaowen Hu | 2022-01-18 03:14:19 +0000 |
|---|---|---|
| committer | Xiaowen Hu | 2022-01-18 03:14:19 +0000 |
| commit | d67d89a8646aa1b6e2cd51ca82cc36e328783bf4 (patch) | |
| tree | 3a4bc11e862f0599407c9e1ecd034e9e1e0fd8d1 | |
| parent | f2fb856f401da6087b53ba1808a46a07eb358aa1 (diff) | |
| download | aur-d67d89a8646aa1b6e2cd51ca82cc36e328783bf4.tar.gz | |
release version 2.2
| -rw-r--r-- | .SRCINFO | 9 | ||||
| -rw-r--r-- | PKGBUILD | 16 |
2 files changed, 15 insertions, 10 deletions
@@ -1,7 +1,7 @@ pkgbase = souffle pkgdesc = Soufflé is a translator of declarative Datalog programs into the C++ language - pkgver = 2.1 - pkgrel = 2 + pkgver = 2.2 + pkgrel = 1 url = https://github.com/souffle-lang/souffle arch = any license = UPL @@ -12,15 +12,14 @@ pkgbase = souffle makedepends = libffi makedepends = ncurses makedepends = zlib - makedepends = lsb-release depends = mcpp - depends = gcc>=7 + depends = gcc>=8 depends = openmp depends = sqlite optdepends = bash-completion provides = souffle conflicts = souffle-git - source = souffle-2.1.tar.gz::https://github.com/souffle-lang/souffle/archive/2.1.tar.gz + source = souffle-2.2.tar.gz::https://github.com/souffle-lang/souffle/archive/2.2.tar.gz md5sums = SKIP pkgname = souffle @@ -2,20 +2,26 @@ # Eric Schulte <eschulte@grammatech.com> # Xiaowen Hu <xihu5895@uni.sydney.edu.au> +# +# This PKGBUILD is automatically generated and always points to the +# latest release from the souffle official repository. +# Source: .github/images/arch-linux/PKGBUILD.in +# + pkgname=souffle -pkgver=2.1 -pkgrel=2 +pkgver=2.2 +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=('mcpp' 'gcc>=7' 'openmp' 'sqlite') -makedepends=('git' 'cmake>=3.15' 'bison>=3.0.4' 'flex' 'libffi' 'ncurses' 'zlib' 'lsb-release') +depends=('mcpp' 'gcc>=8' 'openmp' 'sqlite') +makedepends=('git' 'cmake>=3.15' 'bison>=3.0.4' 'flex' 'libffi' 'ncurses' 'zlib') optdepends=('bash-completion') provides=('souffle') conflicts=('souffle-git') -source=(souffle-2.1.tar.gz::https://github.com/souffle-lang/souffle/archive/2.1.tar.gz) +source=(souffle-2.2.tar.gz::https://github.com/souffle-lang/souffle/archive/2.2.tar.gz) md5sums=('SKIP') build() { |