summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorXiaowen Hu2022-05-14 14:12:30 +0000
committerXiaowen Hu2022-05-14 14:12:30 +0000
commit5afdfe853318dcdc84a8c17421848f42b15f1527 (patch)
tree2bfbcf24048a58515f010ec0a5c3d8ff746168bb
parentd67d89a8646aa1b6e2cd51ca82cc36e328783bf4 (diff)
downloadaur-5afdfe853318dcdc84a8c17421848f42b15f1527.tar.gz
release version 2.3
-rw-r--r--.SRCINFO6
-rw-r--r--PKGBUILD8
2 files changed, 8 insertions, 6 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 581af744a015..5d5360391552 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
diff --git a/PKGBUILD b/PKGBUILD
index 21c3f8ec5c62..acb1d5957f23 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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() {