blob: 07a9832b450269e595b7709db5774a41782a2bc0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "https://srcux.com/dtd/metadata.dtd">
<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>
</upstream>
<origin>srcux</origin>
</pkgmetadata>
|
