Package Details: souffle 2.4.1-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 (Xihu0208)
Last Packager: Xihu0208
Votes: 0
Popularity: 0.000000
First Submitted: 2019-07-25 16:42 (UTC)
Last Updated: 2023-11-15 16:21 (UTC)

Dependencies (14)

Required by (1)

Sources (1)

Latest Comments

Xihu0208 commented on 2022-05-16 02:11 (UTC)

Thanks for reporting the issue. I just fixed it. Will update the upstream build script as well.

ring0calorie commented on 2022-05-15 14:17 (UTC)

Broken PKGBUILD at line 24, ${REPO_OWNER} is never set, so the path that is being contacted is: https://github.com//souffle/archive/2.3.tar.gz

samtay commented on 2021-05-12 02:52 (UTC)

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 (UTC)

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 (UTC)

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 (UTC)

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 (UTC) (edited on 2019-07-30 20:38 (UTC) by karljs)

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.