Gentoo Packages

Search

Install

Install this package:

emerge -a dev-lang/souffle

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/

License:

UPL-1.0

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] USE flag 'java' in ebuild 2.5 is not documented in metadata.xml
• [Warning] USE flag 'ncurses' in ebuild 2.5 is not documented in metadata.xml
• [Warning] USE flag 'openmp' in ebuild 2.5 is not documented in metadata.xml
• [Warning] USE flag 'python' in ebuild 2.5 is not documented in metadata.xml
• [Warning] USE flag 'sqlite' in ebuild 2.5 is not documented in metadata.xml
• [Warning] USE flag 'test' in ebuild 2.5 is not documented in metadata.xml
• [Warning] USE flag 'zlib' in ebuild 2.5 is not documented in metadata.xml
• [Error] Manifest entry for unused DIST file 'souffle-2.5.tar.gz'
• [Error] Repository is missing a repo-name in metadata/layout.conf or profiles/repo_name
• [Notice] Package has only unstable keywords for arch(es): [ amd64 ], all versions are unstable: [ 2.5 ]

USE Flags

Manage flags for this package: euse -i <flag> -p dev-lang/souffle | euse -E <flag> -p dev-lang/souffle | euse -D <flag> -p dev-lang/souffle

Files

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

Manifest