blob: a90aad2eae1868f380f3ce4e0156f954e646b4e0 (
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
|
pkgbase = souffle
pkgdesc = Soufflé is a translator of declarative Datalog programs into the C++ language
pkgver = 2.4.1
pkgrel = 1
url = https://github.com/souffle-lang/souffle
arch = any
license = UPL
makedepends = git
makedepends = cmake>=3.15
makedepends = bison>=3.0.4
makedepends = flex
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.4.1.tar.gz::https://github.com/souffle-lang/souffle/archive/2.4.1.tar.gz
md5sums = SKIP
pkgname = souffle
|