Package Details: souffle-git r3910.7ce84469-2

Git Clone URL: https://aur.archlinux.org/souffle-git.git (read-only)
Package Base: souffle-git
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-git
Submitter: lllf
Maintainer: lllf
Last Packager: lllf
Votes: 2
Popularity: 0.017311
First Submitted: 2017-05-31 14:49
Last Updated: 2019-04-18 00:20

Latest Comments

lllf commented on 2019-04-18 00:21

@eschulte @rku

I have moved make check to its proper place in check(). You can build without running the check by using the --nocheck option in makepkg

eschulte commented on 2019-04-17 18:59

Please disregard the note about additional required packages in my prior comment.

eschulte commented on 2019-04-17 18:01

+1 on disabling the test suite.

Also, some subset of the following packages are also required to build but aren't marked as build dependencies: autoconf automake bison flex fakeroot sqlite libtool pkg-config zlib mcpp.

rku commented on 2019-04-17 08:37

Test suite takes forever. Could it maybe be disabled?

Thanks for making package out of this!