{"bugs":[],"categories":[{"categoryid":452,"name":"dev-db","summary":"The dev-db category contains libraries and utilities for database related programming."},{"categoryid":406,"name":"dev-java","summary":"The dev-java category contains libraries and utilities relevant to the Java programming language."},{"categoryid":450,"name":"dev-lang","summary":"The dev-lang category contains various programming language implementations and related tools."},{"categoryid":393,"name":"dev-libs","summary":"The dev-libs category contains various miscellaneous programming libraries."},{"categoryid":1595,"name":"llvm-runtimes"},{"categoryid":381,"name":"sys-libs","summary":"The sys-libs category contains various system-level libraries."},{"categoryid":396,"name":"virtual","summary":"The virtual category contains packages which satisfy virtual dependencies."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5ab643dc6aa6137f8a8d78cf621ab11e225da713","committime":"2025-12-27T21:15:59","packageid":76756,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/923885\nSigned-off-by: Maciej Barć ","commitid":"b8d4b267360cfcc2300164dc542943fc0edc8638","committime":"2025-12-27T20:52:08","packageid":76756,"repoid":1,"summary":"dev-lang\/souffle: drop old 2.4.1-r1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"264e3c99fc745646475409ea475d643ce2dc7e4b","committime":"2025-11-04T08:20:44","packageid":76756,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Update done using:\n\n```\ngit grep -l sys-libs\/zlib dev-* | xargs sed -i -e s@sys-libs\/zlib@virtual\/zlib@g\ngit diff --name-only | xargs copybump\ngit diff --name-only | xargs grep -l PYTHON_COMPAT | xargs gpy-impl -@dead\npkgcheck scan --commits -c SourcingCheck,VisibilityCheck --exit error\n```\n\nFollowed by manual revert in dev-python\/zlib-ng where it accidentally\ncaught sys-libs\/zlib-ng dependencies.\n\nSigned-off-by: Michał Górny ","commitid":"bd0ee727e0e124e4eaa879ad390bef06ff7420bf","committime":"2025-11-04T08:03:00","packageid":76756,"repoid":1,"summary":"dev-*\/*: update for virtual\/zlib"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"937369ea7ef32d006365476d6a41cf7ea2cb4c83","committime":"2025-03-24T23:05:19","packageid":76756,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"53bcd3e787ae6f9a5c06aaa49843be8705b7e880","committime":"2025-03-24T22:24:40","packageid":76756,"repoid":1,"summary":"dev-lang\/souffle: bump to 2.5"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ec50a2cb9fa8deba175f9e45d52e3b5286c837d1","committime":"2024-12-13T18:18:21","packageid":76756,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"54313002c68c3c24815ea2b6098b7e8fa37b3aa8","committime":"2024-12-13T17:31:50","packageid":76756,"repoid":1,"summary":"dev-lang\/souffle: bump python compat"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/925180\nSigned-off-by: Maciej Barć ","commitid":"9665a193f08298c81b8a1ba1c3c88f0d3ce40129","committime":"2024-12-13T17:27:00","packageid":76756,"repoid":1,"summary":"dev-lang\/souffle: remove incompatible x86 KEYWORDS"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f6abb524388c440c805bf897a0e2bf46a0518323","committime":"2024-12-11T12:06:12","packageid":76756,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"1aea2894cdc65d5a2aa39c675e39578dd6eceb06","committime":"2024-12-11T11:10:38","packageid":76756,"repoid":1,"summary":"Move sys-libs\/libomp → llvm-runtimes\/openmp"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e1e47ae2ff236716f88d4cde479d49c9d7774c5f","committime":"2023-12-01T15:31:53","packageid":76756,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/918956\nSigned-off-by: Maciej Barć ","commitid":"0893ead27549dc4163a7f86c4f333ed6e67187b5","committime":"2023-12-01T15:27:47","packageid":76756,"repoid":1,"summary":"dev-lang\/souffle: fix CMake threads for 918956"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"de6e1bad89496eb5da5e4dc92774808931a9544d","committime":"2023-11-30T02:01:57","packageid":76756,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"62b4308736f01dcf55a2a58a53a2ef658bcaede1","committime":"2023-11-30T01:29:04","packageid":76756,"repoid":1,"summary":"dev-lang\/souffle: new package; add 2.4.1"}],"dependencies":[{"block":false,"categoryid":396,"description":"Virtual for Java Development Kit (JDK)","ebuildids":[858427],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"java@gentoo.org","maintainername":"Java","name":"jdk","packageid":42905},{"block":false,"categoryid":450,"description":"An interpreted, interactive, object-oriented programming language","ebuildids":[858427,858427,858427],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"python@gentoo.org","maintainername":"Python","name":"python","packageid":43095},{"block":false,"categoryid":381,"description":"Console display library","ebuildids":[858427],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"base-system@gentoo.org","maintainername":"Gentoo Base System","name":"ncurses","packageid":45285},{"block":false,"categoryid":450,"description":"Simplified Wrapper and Interface Generator","ebuildids":[858427],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"pchrist@gentoo.org","maintainername":"Panagiotis Christopoulos","name":"swig","packageid":46816,"summary":"SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages. SWIG is used with different types of languages including common scripting languages such as Perl, Python, Tcl\/Tk and Ruby. The list of supported languages also includes non-scripting languages such as C#, Common Lisp (Allegro CL), Java, Modula-3 and OCAML. Also several interpreted and compiled Scheme implementations (Chicken, Guile, MzScheme) are supported."},{"block":false,"categoryid":452,"description":"SQL database engine","ebuildids":[858427],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"arfrever.fta@gmail.com","maintainername":"Arfrever Frehtes Taifersar Arahesis","name":"sqlite","packageid":50388},{"block":false,"categoryid":406,"description":"Java environment configuration query tool","ebuildids":[858427],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"java@gentoo.org","maintainername":"Java","name":"java-config","packageid":51445,"summary":"java-config is used to configure the Java subsystem on your Gentoo installation. In particular, it can be used to configure system-wide and per-user default JVMs, construct classpath env vars from installed java packages and be used to query for the path to various JDK tools."},{"block":false,"categoryid":393,"description":"Portable, high level programming interface to various calling conventions","ebuildids":[858427],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"libffi","packageid":52280,"summary":"Compilers for high level languages generate code that follow certain conventions. These conventions are necessary, in part, for separate compilation to work. One such convention is the \"calling convention\". The \"calling convention\" is essentially a set of assumptions made by the compiler about where function arguments will be found on entry to a function. A \"calling convention\" also specifies where the return value for a function is found. Some programs may not know at the time of compilation what arguments are to be passed to a function. For instance, an interpreter may be told at run-time about the number and types of arguments used to call a given function. Libffi can be used in such programs to provide a bridge from the interpreter program to compiled code. The libffi library provides a portable, high level programming interface to various calling conventions. This allows a programmer to call any function specified by a call interface description at run time. Ffi stands for Foreign Function Interface. A foreign function interface is the popular name for the interface that allows code written in one language to call code written in another language. The libffi library really only provides the lowest, machine dependent layer of a fully featured foreign function interface. A layer must exist above libffi that handles type conversions for values passed between the two languages."},{"block":false,"categoryid":1595,"description":"OpenMP runtime libraries for LLVM\/clang compiler","ebuildids":[858427],"firstseen":"2024-12-11T12:13:21.481019","name":"openmp","packageid":78044,"summary":"The OpenMP subproject of LLVM is intended to contain all of the components required to build an executing OpenMP program that are outside the compiler itself."},{"block":false,"categoryid":396,"description":"Virtual for libz.so providers","ebuildids":[858427],"firstseen":"2025-11-04T07:31:41.418357","name":"zlib","packageid":78605}],"depending":[],"ebuilds":[{"archs":["~amd64"],"ebuildid":858427,"firstseen":"2025-03-24T23:16:07.848256","license":"UPL-1.0","moddate":"2026-03-28T18:04:18","packageid":76756,"repoid":1,"slot":"0","uses":["ffi","java","ncurses","openmp","python","python_single_target_python3_11","python_single_target_python3_12","python_single_target_python3_13","sqlite","swig","test","zlib"],"version":"2.5"}],"masks":[],"package":{"categoryid":450,"description":"Datalog compiler, synthesizes C++ program from logic specification","firstseen":"2023-11-30T02:03:02.530547","name":"souffle","packageid":76756,"summary":"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."},"rdependencies":[{"block":false,"categoryid":450,"description":"An interpreted, interactive, object-oriented programming language","ebuildids":[858427,858427,858427],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"python@gentoo.org","maintainername":"Python","name":"python","packageid":43095},{"block":false,"categoryid":381,"description":"Console display library","ebuildids":[858427],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"base-system@gentoo.org","maintainername":"Gentoo Base System","name":"ncurses","packageid":45285},{"block":false,"categoryid":450,"description":"Simplified Wrapper and Interface Generator","ebuildids":[858427],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"pchrist@gentoo.org","maintainername":"Panagiotis Christopoulos","name":"swig","packageid":46816,"summary":"SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages. SWIG is used with different types of languages including common scripting languages such as Perl, Python, Tcl\/Tk and Ruby. The list of supported languages also includes non-scripting languages such as C#, Common Lisp (Allegro CL), Java, Modula-3 and OCAML. Also several interpreted and compiled Scheme implementations (Chicken, Guile, MzScheme) are supported."},{"block":false,"categoryid":452,"description":"SQL database engine","ebuildids":[858427],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"arfrever.fta@gmail.com","maintainername":"Arfrever Frehtes Taifersar Arahesis","name":"sqlite","packageid":50388},{"block":false,"categoryid":406,"description":"Java environment configuration query tool","ebuildids":[858427],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"java@gentoo.org","maintainername":"Java","name":"java-config","packageid":51445,"summary":"java-config is used to configure the Java subsystem on your Gentoo installation. In particular, it can be used to configure system-wide and per-user default JVMs, construct classpath env vars from installed java packages and be used to query for the path to various JDK tools."},{"block":false,"categoryid":393,"description":"Portable, high level programming interface to various calling conventions","ebuildids":[858427],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"libffi","packageid":52280,"summary":"Compilers for high level languages generate code that follow certain conventions. These conventions are necessary, in part, for separate compilation to work. One such convention is the \"calling convention\". The \"calling convention\" is essentially a set of assumptions made by the compiler about where function arguments will be found on entry to a function. A \"calling convention\" also specifies where the return value for a function is found. Some programs may not know at the time of compilation what arguments are to be passed to a function. For instance, an interpreter may be told at run-time about the number and types of arguments used to call a given function. Libffi can be used in such programs to provide a bridge from the interpreter program to compiled code. The libffi library provides a portable, high level programming interface to various calling conventions. This allows a programmer to call any function specified by a call interface description at run time. Ffi stands for Foreign Function Interface. A foreign function interface is the popular name for the interface that allows code written in one language to call code written in another language. The libffi library really only provides the lowest, machine dependent layer of a fully featured foreign function interface. A layer must exist above libffi that handles type conversions for values passed between the two languages."},{"block":false,"categoryid":1595,"description":"OpenMP runtime libraries for LLVM\/clang compiler","ebuildids":[858427],"firstseen":"2024-12-11T12:13:21.481019","name":"openmp","packageid":78044,"summary":"The OpenMP subproject of LLVM is intended to contain all of the components required to build an executing OpenMP program that are outside the compiler itself."},{"block":false,"categoryid":396,"description":"Virtual for libz.so providers","ebuildids":[858427],"firstseen":"2025-11-04T07:31:41.418357","name":"zlib","packageid":78605}],"repos":[{"branch":"master","lastcommit":"82366aa45a35f6900f43023917c2c86ccdbb00a3","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["http:\/\/souffle-lang.github.io\/","https:\/\/github.com\/souffle-lang\/souffle\/"],"uses":[{"defaultflag":true,"description":"Support c++ functors with arbitrary number of arguments","isdefault":true,"packageid":76756,"use":"ffi"},{"description":"Add support for Java","isdefault":false,"use":"java"},{"defaultflag":true,"description":"Add ncurses support (console display library)","isdefault":true,"use":"ncurses"},{"defaultflag":true,"description":"Build support for the OpenMP (support parallel computing), requires >=sys-devel\/gcc-4.2 built with USE=\"openmp\"","isdefault":true,"use":"openmp"},{"description":"Add optional support\/bindings for the Python language","isdefault":false,"use":"python"},{"defaultflag":true,"description":"Add support for sqlite - embedded sql database","isdefault":true,"use":"sqlite"},{"description":"Enable SWIG usage, needed for Java and Python bindings","isdefault":false,"packageid":76756,"use":"swig"},{"description":"Enable dependencies and\/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)","isdefault":false,"use":"test"},{"defaultflag":true,"description":"Add support for zlib compression","isdefault":true,"use":"zlib"},{"description":"Build for Python 3.11 only","group":"python_single_target","isdefault":false,"use":"python3_11"},{"description":"Build for Python 3.12 only","group":"python_single_target","isdefault":false,"use":"python3_12"},{"description":"Build for Python 3.13 only","group":"python_single_target","isdefault":false,"use":"python3_13"}]}