Gentoo Portage Overlays - dev-lang/souffle

dev-lang/souffle

Datalog compiler, synthesizes C++ program from logic specification

Screenshots

http://souffle-lang.github.io/
https://github.com/souffle-lang/souffle/

souffle-2.4.1-r1

~amd64

+ffi java +ncurses +openmp python +sqlite swig test +zlib java python_single_target_python3_11 python_single_target_python3_12 python_single_target_python3_13

View

Download

Browse License: UPL-1.0

Overlay: gentoo

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

Runtime Dependencies

souffle-2.4.1-r1

ffi?
      ( dev-libs/libffi:= )

ncurses?
      ( sys-libs/ncurses:= )

openmp?
      ( llvm-runtimes/openmp:= )

python?
      ( python_single_target_python3_11?
            ( dev-lang/python:3.11 )
       python_single_target_python3_12?
            ( dev-lang/python:3.12 )
       python_single_target_python3_13?
            ( dev-lang/python:3.13 )
       )

sqlite?
      ( dev-db/sqlite:3 )

swig?
      ( dev-lang/swig:= )

zlib?
      ( sys-libs/zlib:= )

java?
      ( >=dev-java/java-config-2.2.0-r3 )