dev-lang / souffle

Datalog compiler, synthesizes C++ program from logic specification

Official package sites : http://souffle-lang.github.io/ · https://github.com/souffle-lang/souffle/ ·

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

v2.4.1 :: 0 :: gentoo

Modified
License
UPL-1.0
Keywords
~amd64 ~x86
USE flags
ffi java ncurses openmp python sqlite swig test zlib

General

ffi
Support c++ functors with arbitrary number of arguments
java
Add support for Java
ncurses
Add ncurses support (console display library)
openmp
Build support for the OpenMP (support parallel computing), requires >=sys-devel/gcc-4.2 built with USE="openmp"
python
Add optional support/bindings for the Python language
sqlite
Add support for sqlite - embedded sql database
swig
Enable SWIG usage, needed for Java and Python bindings
test
Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)
zlib
Add support for zlib compression

python_single_target

python3_10
Build for Python 3.10 only
python3_11
Build for Python 3.11 only
python3_12
Build for Python 3.12 only

dev-db / sqlite : SQL database engine

dev-java / java-config : Java environment configuration query tool

dev-lang / python : An interpreted, interactive, object-oriented programming language

dev-lang / swig : Simplified Wrapper and Interface Generator

dev-libs / libffi : Portable, high level programming interface to various calling conventions

sys-libs / libomp : OpenMP runtime library for LLVM/clang compiler

sys-libs / ncurses : Console display library

sys-libs / zlib : Standard (de)compression library

virtual / jdk : Virtual for Java Development Kit (JDK)

dev-db / sqlite : SQL database engine

dev-java / java-config : Java environment configuration query tool

dev-lang / python : An interpreted, interactive, object-oriented programming language

dev-lang / swig : Simplified Wrapper and Interface Generator

dev-libs / libffi : Portable, high level programming interface to various calling conventions

sys-libs / libomp : OpenMP runtime library for LLVM/clang compiler

sys-libs / ncurses : Console display library

sys-libs / zlib : Standard (de)compression library

923885
dev-lang/souffle-2.4.1 fails to compile: CellInterface.h:11:10: fatal error: chrono file not found
925180
dev-lang/souffle-2.4.1 fails to compile: ParallelUtil.h:649:68: error: requested alignment 96 is not a positive power of 2
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/souffle: fix CMake threads for 918956
Closes: https://bugs.gentoo.org/918956 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/souffle: new package; add 2.4.1
Signed-off-by: Maciej Barć <xgqt@gentoo.org>