Search Criteria
Package Details: souffle-git r3910.7ce84469-2
Git Clone URL: | https://aur.archlinux.org/souffle-git.git (read-only, click to copy) |
---|---|
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: | |
Conflicts: | |
Provides: | |
Submitter: | lllf |
Maintainer: | lllf |
Last Packager: | lllf |
Votes: | 2 |
Popularity: | 0.000001 |
First Submitted: | 2017-05-31 14:49 |
Last Updated: | 2019-04-18 00:20 |
Dependencies (15)
- python (python-dbg)
- sqlite (sqlite-fossil, sqlite-replication, sqlite-fts3-parenthesis, sqlite-minimal-git)
- zlib (zlib-static, zlib-git, zlib-asm, minizip-asm, zlib-ng-git)
- autoconf (autoconf-git) (make)
- automake (automake-1.7, automake-git, automake-1.11, automake-1.15, automake-1.14) (make)
- bison (byacc-bison, bison-git) (make)
- doxygen (doxygen-git) (make)
- flex (flex-git) (make)
- git (git-git) (make)
- jdk8-openjdk (jdk8-openjdk-dcevm) (make)
- libtool (libtool-git) (make)
- pkg-config (pkgconf-git, pkgconf) (make)
- python (python-dbg) (make)
- sqlite (sqlite-fossil, sqlite-replication, sqlite-fts3-parenthesis, sqlite-minimal-git) (make)
- zlib (zlib-static, zlib-git, zlib-asm, minizip-asm, zlib-ng-git) (make)
Latest Comments
eschulte commented on 2021-01-18 17:03
Thanks for the followup. I opened an issue against the soufflé git repo: https://github.com/souffle-lang/souffle/issues/1833
lllf commented on 2021-01-12 06:38
The alternative is that https://github.com/souffle-lang/souffle/blob/e06b19ddd38dbfca98f980cd504e5290d6ae6fbd/configure.ac#L34
This line is the issue.
lllf commented on 2021-01-12 06:36
@eschulte You sure this isn't a bug in autoconf?
eschulte commented on 2021-01-11 22:26
To followup on my previous comment, it looks like the build goes forward using the previous version of autoconf from https://archive.archlinux.org/packages/a/autoconf/autoconf-2.69-7-any.pkg.tar.zst
eschulte commented on 2021-01-11 22:20
I'm getting a build failure with the following:
Is it possible souffle needs an update to work with newer versions of autoconf?
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!