diff options
author | Xiaowen Hu | 2022-05-14 14:12:30 +0000 |
---|---|---|
committer | Xiaowen Hu | 2022-05-14 14:12:30 +0000 |
commit | 5afdfe853318dcdc84a8c17421848f42b15f1527 (patch) | |
tree | 2bfbcf24048a58515f010ec0a5c3d8ff746168bb | |
parent | d67d89a8646aa1b6e2cd51ca82cc36e328783bf4 (diff) | |
download | aur-5afdfe853318dcdc84a8c17421848f42b15f1527.tar.gz |
release version 2.3
-rw-r--r-- | .SRCINFO | 6 | ||||
-rw-r--r-- | PKGBUILD | 8 |
2 files changed, 8 insertions, 6 deletions
@@ -1,6 +1,6 @@ pkgbase = souffle pkgdesc = Soufflé is a translator of declarative Datalog programs into the C++ language - pkgver = 2.2 + pkgver = 2.3 pkgrel = 1 url = https://github.com/souffle-lang/souffle arch = any @@ -12,14 +12,16 @@ pkgbase = souffle makedepends = libffi makedepends = ncurses makedepends = zlib + makedepends = python3 depends = mcpp depends = gcc>=8 depends = openmp depends = sqlite + depends = python3 optdepends = bash-completion provides = souffle conflicts = souffle-git - source = souffle-2.2.tar.gz::https://github.com/souffle-lang/souffle/archive/2.2.tar.gz + source = souffle-2.3.tar.gz::https://github.com/souffle-lang/souffle/archive/2.3.tar.gz md5sums = SKIP pkgname = souffle @@ -9,19 +9,19 @@ # pkgname=souffle -pkgver=2.2 +pkgver=2.3 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>=8' 'openmp' 'sqlite') -makedepends=('git' 'cmake>=3.15' 'bison>=3.0.4' 'flex' 'libffi' 'ncurses' 'zlib') +depends=('mcpp' 'gcc>=8' 'openmp' 'sqlite' 'python3') +makedepends=('git' 'cmake>=3.15' 'bison>=3.0.4' 'flex' 'libffi' 'ncurses' 'zlib' 'python3') optdepends=('bash-completion') provides=('souffle') conflicts=('souffle-git') -source=(souffle-2.2.tar.gz::https://github.com/souffle-lang/souffle/archive/2.2.tar.gz) +source=(souffle-2.3.tar.gz::https://github.com/${REPO_OWNER}/souffle/archive/2.3.tar.gz) md5sums=('SKIP') build() { |