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.000202 |
| First Submitted: | 2017-05-31 14:49 |
| Last Updated: | 2019-04-18 00:20 |
Dependencies (15)
- python (python-dbg)
- sqlite (sqlite-fossil, sqlite-replication)
- 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-android, 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) (make)
- zlib (zlib-static, zlib-git, zlib-asm, minizip-asm, zlib-ng-git) (make)
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!