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: 2020-09-25 13:36

Latest Comments

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.