Package Details: souffle 2.0.2-1

Git Clone URL: https://aur.archlinux.org/souffle.git (read-only, click to copy)
Package Base: souffle
Description: Soufflé is a translator of declarative Datalog programs into the C++ language
Upstream URL: https://github.com/souffle-lang/souffle
Licenses: UPL
Conflicts: souffle-git
Provides: souffle
Submitter: eschulte
Maintainer: eschulte
Last Packager: eschulte
Votes: 0
Popularity: 0.000000
First Submitted: 2019-07-25 16:42
Last Updated: 2021-05-12 12:40

Latest Comments

samtay commented on 2021-05-12 02:52

Based on the Souffle github issue posted on the -git version of this package, this patch should fix the build until the next Souffle release (same can be applied to the other -git pkg too):

diff --git a/PKGBUILD b/PKGBUILD
index 412ee9e..c115fc3 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -24,6 +24,7 @@ md5sums=('e5ac5a043ce1b1982f9e75a88b2cb697')
 build() {
     cd "$srcdir/${pkgname}-${pkgver}"
     sed -i "s/git describe --tags --always/echo ${pkgver}/" configure.ac
+    sed -i '/AC_CONFIG_MACRO_DIR(/d' configure.ac
     sh ./bootstrap
     ./configure --prefix=/usr
     # When necessary, fixup deprecated form in src/parser.yy and rebuild.

eschulte commented on 2020-02-04 19:43

I'm happy to add an argument to the -j flag. I looked around and couldn't find a good standard for an environment variable name to associate with -j, so I'll just go with $(nproc) as you suggest.

I just pushed this change.

jkrupp commented on 2020-02-03 13:42

Would it be possible to add an argument to the -j switch in line 30 of the PKGBUILD, to prevent a resource exhaustion? Something along the lines of make -j $(nproc)?

eschulte commented on 2019-08-02 14:47

Thanks for pointing out mcpp and the upstream URL, I just updated to 1.6.1 and fixed the two problems you mentioned.

karljs commented on 2019-07-30 20:17

Thanks for adding this. I just wanted to point out that the upstream URL seems to be set incorrectly and mcpp is a runtime dependency.