Gentoo Packages

Search

Package Information

Description:

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.

Homepage:

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

Versions

Metadata

Description

• 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.

Maintainers

• Maciej Barć (xgqt@gentoo.org) - Type: person

Upstream

• Bugs: https://github.com/souffle-lang/souffle/issues/
• Remote IDs:
  • github: souffle-lang/souffle

<pkgmetadata>
	<maintainer type="person">
		<email>xgqt@gentoo.org</email>
		<name>Maciej Barć</name>
	</maintainer>
	<longdescription>
    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.
  </longdescription>
	<use>
		<flag name="ffi">Support c++ functors with arbitrary number of arguments</flag>
		<flag name="swig">Enable SWIG usage, needed for Java and Python bindings</flag>
	</use>
	<upstream>
		<bugs-to>https://github.com/souffle-lang/souffle/issues/</bugs-to>
		<remote-id type="github">souffle-lang/souffle</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

• [Warning] Ebuild 2.5 uses IUSE flag 'java' which is not documented in metadata.xml. Add the flag to metadata.xml <use> section.
• [Warning] Ebuild 2.5 uses IUSE flag 'ncurses' which is not documented in metadata.xml. Add the flag to metadata.xml <use> section.
• [Warning] Ebuild 2.5 uses IUSE flag 'openmp' which is not documented in metadata.xml. Add the flag to metadata.xml <use> section.
• [Warning] Ebuild 2.5 uses IUSE flag 'python' which is not documented in metadata.xml. Add the flag to metadata.xml <use> section.
• [Warning] Ebuild 2.5 uses IUSE flag 'sqlite' which is not documented in metadata.xml. Add the flag to metadata.xml <use> section.
• [Warning] Ebuild 2.5 uses IUSE flag 'zlib' which is not documented in metadata.xml. Add the flag to metadata.xml <use> section.
• [Warning] Missing md5-cache for version 2.5. Run 'ebuild <ebuild_file> manifest' or 'egencache' to generate it.

USE Flags

Files

• souffle-2.4.1-ncurses.patch
• souffle-2.4.1-threads.patch

Manifest