Search Criteria
Package Details: souffle-git r3910.7ce84469-2
Package Actions
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: | UPL |
Conflicts: | souffle-git |
Provides: | souffle-git |
Submitter: | lllf |
Maintainer: | lllf |
Last Packager: | lllf |
Votes: | 2 |
Popularity: | 0.000000 |
First Submitted: | 2017-05-31 14:49 (UTC) |
Last Updated: | 2019-04-18 00:20 (UTC) |
Dependencies (15)
- python (python37AUR, python311AUR, python310AUR)
- sqlite (sqlite-fossilAUR)
- zlib (zlib-ng-compat-gitAUR, zlib-gitAUR, zlib-ng-compat)
- autoconf (autoconf-gitAUR) (make)
- automake (automake-gitAUR) (make)
- bison (byacc-bisonAUR, bison-gitAUR) (make)
- doxygen (doxygen-gitAUR, doxygen-yapAUR) (make)
- flex (flex-gitAUR) (make)
- git (git-gitAUR, git-glAUR) (make)
- jdk8-openjdk (make)
- libtool (libtool-gitAUR) (make)
- pkg-config (pkgconf-gitAUR, pkg-config-gitAUR, pkgconf) (make)
- python (python37AUR, python311AUR, python310AUR) (make)
- sqlite (sqlite-fossilAUR) (make)
- zlib (zlib-ng-compat-gitAUR, zlib-gitAUR, zlib-ng-compat) (make)
Latest Comments
dimo commented on 2021-07-30 03:45 (UTC)
I'm seeing the following build failure. Any idea whats up?
eschulte commented on 2021-01-18 17:03 (UTC)
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 (UTC)
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 (UTC)
@eschulte You sure this isn't a bug in autoconf?
eschulte commented on 2021-01-11 22:26 (UTC)
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 (UTC)
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 (UTC)
@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 (UTC)
Please disregard the note about additional required packages in my prior comment.
eschulte commented on 2019-04-17 18:01 (UTC)
+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 (UTC)
Test suite takes forever. Could it maybe be disabled?
Thanks for making package out of this!